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