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