// JavaScript Document
function navigate(url)
{
	document.location.href=url;
}