function JS_write(html) {
	document.write(html);
}