function toggleMenu(objID) {if
                    (!document.getElementById) return; var ob =
                    document.getElementById(objID).style;
                    ob.display = (ob.display == 'block')?
                    'none': 'block';}
                  // JavaScript Document