/* ------------------------------------------------------------------ */
function go_home()
{
	window.location.href = '/';
}

/* ------------------------------------------------------------------ */