function printPagina() {
	// print de pagina, maar:
	// - zoek uit of er een iframe gerbuikt wordt of niet
	// - als er een iframe is, print dan de inhoud van het iframe
	
	if(top.frames.length) {
		top.frames[0].focus();
		top.frames[0].print();
	} else {
		window.print()
	}
}