document.write('01342');