function print(str)
{
	document.write(str);
}

function print3(str)
{
	document.write(str);
}