function flash_script(contents) {
    document.write(contents);
}