function menu(url)
{
		document.location.href=url;
}