userAgent = window.navigator.userAgent;
browserVers = parseInt(userAgent.charAt(userAgent.indexOf("/")+1),10);

function EnterSubMenu(ID) { document.getElementById(ID).style.visibility='visible'; }
function LeaveSubMenu(ID) { document.getElementById(ID).style.visibility='hidden'; }
function TriggerSubMenu(ID) { document.getElementById(ID).style.visibility='visible'; }
function UnTriggerSubMenu(ID) { document.getElementById(ID).style.visibility='hidden'; }