function printPage()
{if (typeof(window.print) != 'undefined')window.print();}
