document.write('01142');