// JavaScript Document
document.writeln("<div id=\"top\">");
document.writeln("<div class=\"logo\"><img src=\"images\/ibm-logo.gif\" \/><\/div>");
document.writeln("<div class=\"nav\">");
document.writeln("<dl>");
document.writeln("<dd><a href=\"\/\" target=\"_blank\">Home<\/a><\/dd>");
document.writeln("<dd><a href=\"\/\" target=\"_blank\">About us<\/a><\/dd>");
document.writeln("<dd><a href=\"\/\" target=\"_blank\">Contact us<\/a><\/dd>");
document.writeln("<\/dl>");
document.writeln("<\/div>");
document.writeln("<\/div>");