// Load file into div using XMLHttpRequest
// pass url and id
// example : onload="loadAJ('/cgi-bin/makesomething.pl','theDivID')"
function loadAJ(url,id,js) {
 if (document.getElementById) {
  var x = (window.ActiveXObject) ? new ActiveXObject("Microsoft.XMLHTTP") : new XMLHttpRequest()
 }
 if (x) {
  x.onreadystatechange = function() {
   if (x.readyState == 4 && x.status == 200) {
    el = document.getElementById(id)
    el.innerHTML = x.responseText
    if (js) {
     runExtrajs(js)
    }
   }
  }
  x.open("GET", url, true)
  x.send(null)
 }
}

function runExtrajs(js) {
 if (js == "a") {
  if (document.getElementById("useridfield") != null) {
   document.sign_in.userid.focus()
  }
  if (document.getElementById("sign_in_message") != null) {
   if (location.search) {
    msg = location.search.substring(1)
    msg = msg.replace(/%20/g ," ")
    if ( /=/.test(msg) ) {msg=""}
    document.getElementById("sign_in_message").innerHTML = msg
   }
  }
 }
 if (js == "b") {
  document.getElementById('sicodeshow').style.display='block'
 }
}