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