function submitPdf(){
	if (document.getElementById('pdfForm'))
	  document.getElementById('pdfForm').submit();
}