document.write(

'<div id="toc">' +
'<p>' +
'<a href="about.html">About Us</a><br>' +
'<a href="services.html">Our Services</a><br>' +
'<a href="contact.html">Contact Us</a><br>' +
'<a href="http://tools.rfdude.com">Software Tools</a><br>' +
'<a href="links.html">Links</a>' +
'</p>' +
'</div>'
)