function PrintPdfFF(){var a=window.frames.PrintFrame;a.print()}function PrintPdfIE(){var a=window.frames.PrintFrame;var b=a.document.getElementById("PDF");b.focus();b.print()}function PrintPdfSafari(){var a=window.frames.PrintFrame;a.print()};