document.write('<div id="list">');
document.write('<ul>');
document.write('<li><a href="index.html" class="left"><span style="text-decoration:underline;">Home</span></a></li>');
//document.write('<li><a href="DrivingDirections.html" class="regular"><span style="text-decoration:underline;">Driving directions</span></a></li>');
document.write('<li><a href="map.pdf" target="_blank" class="regular"><span style="text-decoration:underline;">Property map</span></a></li>');
document.write('<li><a href="ContactUs.html" class="right"><span style="text-decoration:underline;">Contact us</span></a></li>');
document.write('</ul>'); 
document.write('</div>');