function news_nav ()
 {
 	document.write (
 	'<a href="/news/" class="section_nav">CURRENT NEWS</a>',
 	''
 	);
 }
 
  function news_archive_nav ()
 {
 	document.write (
 	'NEWS ARCHIVES: <a href="/news/archives07.html">April-May 2007</a>',
 	''
 	);
 }