function displayMenu(pageTitle)
 {    
 document.write('<div id="menu_container">');
 document.write('<div id="menu_header"><div id="inner_menu_header"></div></div>');
 document.write('<div id="menu"><div id="inner_menu">');
 document.write('<div id="menu2"><a href="index.html" class="menu">Welcome</a></div>');
 document.write('<div id="menu1"><a href="available.html" class="menu">Availability</a></div>');
 document.write('<div id="menu2"><a href="specs.htm" class="menu">Building Spec</a></div>');
 document.write('<div id="menu1"><a href="gallery.php" class="menu">Photo Gallery</a></div>');
 document.write('<div id="menu2"><a href="floorplan.htm" class="menu">Floor Plan</a></div>');
 document.write('<div id="menu1"><a href="map.htm" class="menu">Area Map</a></div>');
 document.write('<div id="menu2"><a href="directions.htm" class="menu">Directions</a></div>');
 document.write('<div id="menu1"><a href="taxabatement.htm" class="menu">Tax Abatement</a></div>');
 document.write('<div id="menu2"><a href="contactus.htm" class="menu">Contact Us</a></div>');
 document.write('</div></div>');
 document.write('<div id="menu_footer"><div id="inner_menu_footer"></div></div>');
 document.write('</div>');
}