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