function overButton(btn) {
  btn.style.backgroundColor = "#F00000";
  btn.style.color = "#FFFFFF";
  btn.style.fontWeight = "bold";
}

function leaveButton(btn) {
  btn.style.backgroundColor = "#D0E0FD"
  btn.style.color = "#000000";
  btn.style.fontWeight = "normal";
}

function write_E_link(linktext) {
  var s;
      s = "<" + "a" + " " + "h" + "r" + "e" + "f"
  s = s + "="  
  s = s + "'" + "m" + "a" + "i" + "l" + "t" + "o" + ":"
  s = s + "nigel"
  s = s + "@"
  s = s + "websights" + "." + "o" + "r" + "g" + "'" + ">"
  s = s + linktext
  s = s +  "<" + "/" + "a" + ">"
  document.write(s)
}

function writeDate() {
  var aDate=new Date()
  var weekday=new Array("Sunday","Monday","Tuesday", "Wednesday","Thursday","Friday","Saturday")
  var monthname=new Array("Jan","Feb","Mar","Apr","May","Jun", "Jul","Aug","Sep","Oct","Nov","Dec")
  document.write(weekday[aDate.getDay()] + " ")
  document.write(monthname[aDate.getMonth()] + " ")
  document.write(aDate.getDate() + ", ")
  document.write(aDate.getFullYear())
}

function jsMsgBox(msg) {
  alert(msg);
}