function onoff(ID_xyz){
el=document.getElementById(ID_xyz).style;
el.display=(el.display == 'none')?'block':'none';
}