function writeHTML(A)
	{ document.write(A); }