document.write(

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