function docs_nav ()
{
	document.write (
	
	'<a href="/docs/" class="section_nav">DOCUMENTS TOP</a>',
	''
	
	
	);
	


}


 function news_archive_nav ()
{
	document.write (
	
	'',
	''
	
	
	);
	


}