function writeFlash(txt) {
	document.write(txt);
	}