function document_write(s)
{
	return document.write(s);
}