function printerFriendlyVersion()
 	{
 	 var uri = document.location.href;
 	 var start_params = uri.indexOf("main_page?") + 10;
 	 var end_params = uri.length - start_params;
 	 var params = uri.substr(start_params, end_params);
 	 var link = "www_iset_new.print?" + params;
 	 //alert(link);
 	 F1 = window.open(link, "PrintWindow", "dependent=no,width=800,height=1000,resizable=yes,scrollbars=yes, menubar=yes");
 	}