if (top.location != self.location) {
    top.location = self.location
}

function MakeCool(Image) {Image.src="_image/Vaulton3b.jpg";}
function MakeNormal(Image) {Image.src="_image/Vaulton3ani.gif";}