function startScrollingDetector() {
  var t=setInterval("scrollingDetector()", 10);
}

function scrollingDetector(){
  var newval;
  if (document.documentElement && !document.documentElement.scrollTop){
    // IE6 +4.01 but no scrolling going on
    newval = parseInt(document.documentElement.scrollTop);
    document.getElementById('logo_symbol').style.top = 300+newval+'px';
  }
  else if (document.documentElement && document.documentElement.scrollTop){
    // IE6 +4.01 and user has scrolled
    newval = parseInt(document.documentElement.scrollTop);
    //document.getElementById('logo_symbol').style.pixelTop = 300+newval+'px';
    document.getElementById('logo_symbol').style.top = 300+newval+'px';
  }
  else if (document.body && document.body.scrollTop){
    // IE5 or DTD 3.2
    newval = parseInt(document.documentElement.scrollTop);
    document.getElementById('logo_symbol').style.top = 300+newval+'px';
  }
}

function dropSubmenu(menuItem) {
  document.getElementById(menuItem).style.display="";
}

function collapseSubmenu(menuItem) {
  document.getElementById(menuItem).style.display="none";
}