function logout()
{
	document.ingelogd.submit();
}