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'; }