function aleatoria() { document.write("") }