// return menu from XML file
try {
document.writeln("<ol>");
document.writeln("<li><span>Раздел документации в PDF формате:</span></li>");
document.writeln("<li><a href='/pdf-docs/' target='_top' title='Документация в PDF на различные темы по категориям.'>PDF Документация</a></li>");
document.writeln("</ol>");
}
catch(err){
	document.write("XML ERROR "+err);
}

//end