function toggleMenu()
{
	var elem=document.getElementById("topMenu");
	if (elem.className=="long") elem.className="short";
	else elem.className="long";
}