function menu(element)
{
	if (element.hasChildNodes())
	{
		link=element.childNodes[0].attributes
		if (link != null)
			window.location=link['href'].value;
	}
	
}