var mbar = function() {

document.write("<div id=\"navigation\">")
document.write("<a href=\"/email/\">")
document.write(" <img src=\"/icon/stamp.jpg\" class=\"extra\" alt=\"Email\" height=\"65\" width=\"60\"/>")
document.write("</a>")
document.write("<a href=\"/rss/\">")
document.write(" <img src=\"/icon/xml.gif\" width=\"36\" height=\"14\" alt=\"RSS Feed\"/></a>")
document.write("<a href=\"http://validator.w3.org/check/referer\">")
document.write(" <img src=\"http://www.w3.org/Icons/valid-xhtml10\" alt=\"Valid XHTML 1.0!\"")
document.write(" height=\"31\" width=\"88\" /></a>")
document.write("<a href=\"http://jigsaw.w3.org/css-validator/\">")
document.write("<img style=\"border:0;width:88px;height:31px\"")
document.write("     src=\"http://jigsaw.w3.org/css-validator/images/vcss\"")
document.write("     alt=\"Valid CSS!\"/></a>")
document.write("</div>")

}