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