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