document.write('931993');