<!--
function doNothing()
{
	var x = 0;
}

// check key presses
function key_check()
{	
	if (window.event.keyCode == 13)
	{
		login_form.submit()
	}
}

//-->