document.write ('<a href="mai');
document.write ('lto:headlibrarian');
document.write ('&#64;');
document.write ('shadolibrary.org">SHADO Librarian');
document.write ('</a>');