function hackNonIE(a)
{
  if(navigator.appName != 'Microsoft Internet Explorer')
  {
    var menu=new XMLHttpRequest();
    if(menu)
    {
      selisih = (a - 5)* (15 + a - 2);
      document.getElementById('spacer-menu').style.height=selisih+"px";
    }
  }
}