function menu1_dark(element)
{ element.style.backgroundColor='#DBDBCE';};
function menu1_light(element)
{ element.style.backgroundColor='#ffffff';};