// start of custom pop-out code
//
var timerID = "global";
function hideMenus() 
{
shut_nav();tmt_DivSelect('')
}
function startTimer()
{
   stopTimer();
   // the number "1000" is the number of thousands-of-a-second

   timerID = setTimeout("hideMenus()", 500);
}
function stopTimer()
{
   clearTimeout(timerID);
}
// end of custom code