function menu(ID,value) {
 document.getElementById(ID).style.display=value;
}