function movie() {
document.getElementById("INTRO").style.display="none";
document.getElementById("ALL").style.display="block";
}