function writemenu()
{
document.write ("<ul>\n");
document.write ("<li><a href='about.htm'>About Us</a> </li>\n");
document.write ("<li><a href='industry-verticals.htm'>Industry Verticals</a> </li>\n");
document.write ("<li><a href='services.htm'>Services</a> </li>\n");
document.write ("<li><a href='employment.htm'>Employment</a></li>\n");
document.write ("</ul>\n");
}