function change_to(new_text)
{
	document.getElementById('quick_menu').innerHTML = new_text;
}