document.write('01934');