function getElement(id)
{
	return (document.getElementById) ? document.getElementById(id) : document.all[id];
}
function login()
{
	getElement('login_form').style.display="";
}