document.write('802412');