function menuDoClick(o) {
	var as = o.getElementsByTagName("a");
	if (as.length > 0) {
		document.location.href = as[0].href;		
	}	
}