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