function logout()
{
	location.replace(location.href.split("#",1));
}