function ClosePrintDoc(){
	window.close();
	window.setTimeout("ClosePrintDoc()", 1000)
}

function printDoc(){
var a = navigator.appName + navigator.userAgent.indexOf("3.")
var b = navigator.appName + navigator.userAgent.indexOf("MSIE 4")

if (a == "Netscape-1"  || b == "Microsoft Internet Explorer-1")
	{self.resizeTo(1,1);
	window.moveTo(1,1);
	window.print();
	window.setTimeout("ClosePrintDoc()", 1000);}
else
	{alert("Uw browser kan niet automatisch printen.\nKlik op bestand(file) en dan afdrukken(print)\nom het document af te drukken.")}
}