function go_to(url)
{
	document.location = url;
}

function JumpMenu(id)
{
	var url = document.getElementById('JumpMenu_'+id).value;
	document.location = url;
}