function theme_hover_on(id){
 
 li = document.getElementById(id);
 li.className = "mainhover "+li.className;

}

function theme_hover_out(id){
 
 li = document.getElementById(id);
 tmp = li.className.split('mainhover ');
 li.className = tmp[1];

}