function body_onload()
{
	document.getElementById("header").style.cursor = 'pointer';
}

function navigate_home()
{
	window.location.href = "./";
}