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