function getwidth(x)
{
  // this script fixes some clientwidth bugs for the menu to be fullsize
  // Free to use by anyone if this header remains in position
  // (C)2000 Hans Luyten

  clientwidth=2000;
  if (self.innerWidth)
  {
    if (navigator.appName.indexOf('etscape')!=-1)
    {
      clientWidth = self.innerWidth-17;
    }
    else
      clientWidth = self.innerWidth;
  }
  else if (document.body)
  {
    clientWidth = document.body.clientWidth;
  }
  returnwidth=clientWidth-x;
  return returnwidth;
}