<!--
function print()
	{
	print = window.print();
	}
// -->