function printmainmenu() 
{
document.write("\
<div id=\"home\" class=\"dropmenudiv\">\
<\/div>\
\
<div id=\"products\" class=\"dropmenudiv\">\
    <a href=\"rsim1500.html\">RSIM-1500<\/a>\
    <a href=\"rsim5000.html\">RSIM-5000<\/a>\
<\/div>\
\
<div id=\"services\" class=\"dropmenudiv\">\
    <a href=\"productdesign.html\">Product Design<\/a>\
    <a href=\"designsupport.html\">Ongoing Design Support<\/a>\
    <a href=\"mfgsupport.html\">Manufacturing Support<\/a>\
<\/div>\
\
<div id=\"clients\" class=\"dropmenudiv\">\
<\/div>\
\
<div id=\"contactus\" class=\"dropmenudiv\">\
<\/div>\
<div class=\"mainmenu\" id=\"TopMenu\">\
    <ul>\
        <li><a href=\"index.html\" rel=\"home\">Home<\/a><\/li> \
        <li><a href=\"products.html\" rel=\"products\" class=\"submenu\">Products<\/a><\/li>\
        <li><a href=\"services.html\" rel=\"services\" class=\"submenu\">Services</a></li>\
        <li><a href=\"clients.html\" rel=\"clients\">Clients<\/a><\/li>\
        <li><a href=\"contact.php\" rel=\"contactus\">Contact Us<\/a><\/li>\
    <\/ul>\
<\/div><div class=\"clear\"><\/div>\
\
"); 
}