document.writeln("<div id=\"menu\">");
document.writeln("<ul>");
document.writeln("<li><a href=\"/index.html\">Home</a></li>");
//document.writeln("<li><a href=\"/blog/archive.do\">Archive</a></li>");
document.writeln("<li><a href=\"/mylog.html\">My Log</a></li>");
document.writeln("<li><a href=\"/labs.html\">Labs <img alt=\"labs\" src=\"/images/labs.gif\" /></a></li>");
document.writeln("<li><a href=\"/design.html\">Design</a></li>");
document.writeln("<li><a href=\"/aboutme.html\">About</a></li>");
//document.writeln("<li><a href=\"/Rss.do\">Subscribe <img alt=\"rss2.0\" src=\"/themes/default/rss.gif\" /></a></li>");
document.writeln("<li style=\"background:#313d48;\"><a href=\"/mailme.html\"><span style=\"color:#fff;\">Send a simple email.</span></a></li>");
document.writeln("</ul>");
document.writeln("</div>");