var filename = location.pathname;

document.write('<a href=\"http://validator.w3.org/check?uri=http%3A%2F%2Fpeople.bath.ac.uk' + filename + '\"><img class=\"w3\"" src=\"/msi20/images/valid-xhtml10-blue.png\" alt=\"Valid XHTML 1.0 Strict!\" /></a>');