document.write("Automata");