document.write("t.m.williams");
document.write("@");
document.write("cs.bham.ac.uk");