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 varHost = location.host
if (varHost!="staffweb.cms.gre.ac.uk") {
  var varPathname = location.pathname
  window.location = "http://staffweb.cms.gre.ac.uk" + varPathname
}