function overmenu(a){
var tar = "menu" + a;
document.all[tar].style.background = '#c7102f';
}

function outmenu(a){
var tar = "menu" + a;
document.all[tar].style.background = '#cfcfcf';
}