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