function setMenuSelection(element){
//alert(element);
if(document.getElementById(element) != null)
document.getElementById(element).className = 'selected';
}