) function launch() { stop(); current_image = first_image; document.animation.src = theImages[current_image].src; document.control_form.frame_nr.value = current_image; // this needs to be done to set the right mode when the page is manualy reloaded change_mode (document.control_form.play_mode_selection.selectedIndex); } //===> writes the interface into the code where you want it function animation() { document.write("
");
document.write("