function go_to(path)
{
	document.location.href = path;
}