<!--
//
function my_menu(target) {
 var m= document.getElementById(target).style;
 m.display = (m.display == 'none')?  "block":"none";
}
//-->