function checkIEUrl(url)
{
  try
  {
    var http = new ActiveXObject('Microsoft.XMLHTTP');
    http.open('HEAD', url, false);
    http.send();
    alert(http.status);
    if(http.status == '200')
      return true;
  }
  catch(e)
  {
    //if(e instanceof Error)
      //return false;
  }
  return false;
}

function StatusObject(statusLine)
{
  var re = /(HTTP\/[\d\.]+) (\d\d\d) ?(.*)$/i;
  var match = re.exec(statusLine);
  this.protocol = match[1];
  this.status = match[2];
  this.message = match[3];
}

function checkNNUrl(url)
{
  if((location.host == '') || (url.indexOf(location.host) == -1))
    netscape.security.PrivilegeManager.enablePrivilege
  ('UniversalConnect');
  var urlObj = new java.net.URL(url);
  var host = urlObj.getHost();
  var port = (urlObj.getPort() > 0) ? urlObj.getPort() : 80;
  var fileName = urlObj.getFile();
  var sock = new java.net.Socket (host, port);
  dock = new java.io.DataOutputStream(sock.getOutputStream());
  dock.writeBytes('HEAD ' + fileName + ' HTTP/1.0\r\n'); 
  dock.writeBytes('\r\n');
  var dis = new java.io.DataInputStream(sock.getInputStream());
  line = dis.readLine(); // get just status message
  dis.close();
  dock.close();
  sock.close();
  var statusObject = new StatusObject(line);
  alert(statusObject.status);
  if(statusObject.status == '200')
    return true;
  return false;
}

function checkUrl(url)
{
  if(disableWebSite)
    return false;
  /*else if(document.getElementById && window.ActiveXObject)
    return checkIEUrl(url);
  else if(document.layers && navigator.javaEnabled())
    return checkNNUrl(url);*/
  return true;
}

