if (typeof writeflash=='undefined'){function writeflash(s){document.write(s);}}
