function writemail(a,b,c,d) {
  if (d) {
    return "<a href=\"mailto:"+a+"@"+b+"."+c+"\">"+d+"<\/a>"
  } else {
    return "<a href=\"mailto:"+a+"@"+b+"."+c+"\">"+a+"@"+b+"."+c+"<\/a>"
  }
}

var str = location.host
if (str!="staffweb.cms.gre.ac.uk") {
  window.location = "http://staffweb.cms.gre.ac.uk/~c.walshaw/webserver.html"
}