function stopAnimation() { window.stop(); }