function run_movie() { document.write('

'); }