function GetDivHeight()
{
          var intHeight;
          agent = navigator.userAgent;
    
          if (agent.lastIndexOf("Windows NT 5.1") != -1)
          {
                intHeight = 10;
          }
          else
          {
                intHeight = 20;
          }

          return intHeight;
}