// JavaScript Document
document.write("<p><img src=\"navline.gif\" width=\"150\" height=\"1\" /><br />" +
                "<a href=\"demo.htm\">Demo</a><br />" +
                "<img src=\"navline.gif\" width=\"150\" height=\"1\" /><br /><a href=\"features.htm\">Features</a><br />" +
                "<img src=\"navline.gif\" width=\"150\" height=\"1\" /><br />" +
                "<a href=\"cost.htm\">Cost?</a><br />" +
                "<img src=\"navline.gif\" width=\"150\" height=\"1\" /><br />" +
                "<a href=\"support.htm\">Customer support</a><br />" +
                "<img src=\"navline.gif\" width=\"150\" height=\"1\" /><br />" +
                "<a href=\"technical.htm\">Technical spec</a><br />" +
                "<img src=\"navline.gif\" width=\"150\" height=\"1\" /><br />" +
                "<a href=\"sales.htm\">Buy a hitbox</a><br />" +
                "<img src=\"navline.gif\" width=\"150\" height=\"1\" /><br />" +
                "<a href=\"other.htm\">Other machines</a><br />" +
                "<img src=\"navline.gif\" width=\"150\" height=\"1\" /><br />" +
                "<a href=\"contact.htm\">Contact us</a><br />" +
                "<br />&nbsp;</p>");