function animation() { document.write("

"); }