document.write('930412');