if(toc_dir == "") document.writeln('<div id=toc>');

homeButton();

item("index.html","Rate my HF Propagation Page");

item("awards.html","Awards&nbsp;& Articles");

item("mail.html","Mail");

item("links.html","Links to this Site");

closeButton();

if(toc_dir == "") document.writeln('</div><!--toc-->');