function writeflash(flashtxt) { 
		 	document.write(flashtxt); 
		}

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