function writeflash(flashtxt) {
document.write(flashtxt);
}
function writeflashdiv(flashtxt, divname) {
	document.getElementById(divname).innerHTML = flashtxt;
	}