function prnt()
{
window.print();
return;
}

window.onload=prnt;

function writePrint()
{
document.write('<div class\=\"printhidden\"><p id\=\"top\" class\=\"tophead\"  title\=\"Navigation\"><span class\=\"white\">\xA0');
document.write('<a tabindex\=\"1\" href\=\"\#top\" onclick\=\"window.print\(\)\; return false\;\" onkeypress\=\"window.print\(\)\; return false\;\">');
document.write('Start Print<\/a> ');
document.write('\&\#124\; <a tabindex\=\"2\" href\=\"print-help.html\">Help<\/a> ' );
document.write('\&\#124\; <a accesskey\=\"0\" tabindex\=\"3\" href\=\"..\/tableofcontents.html\" title\=\"Table of Contents\" rel\=\"toc\">Table of Contents</a>\xA0\&\#124\;\xA0<\/span><\/p>');
document.write('<hr \/><\/div>');
return;
}