// filename: gen.js
// date: 22.10.2007

	function printpage(obj)
	{
		print ();
	}