
function doPrint ()
{
	;
}
