function putFlash(file, width, height, style){ document.write(''); document.write(' '); document.write(' '); document.write(' '); document.write(' '); document.write(''); } function putFlashTimed(file, width, height, style, id, time){ var text = ''; text += ''; text += ' '; text += ' '; text += ' '; text += ' '; text += ' '; text += ''; window.setTimeout(function(){document.getElementById(id).innerHTML = text;},time); } function putFlashRet(file, width, height, style){ var text = ''; text += ''; text += ' '; text += ' '; text += ' '; text += ' '; text += ' '; text += ''; return text; }