document.write('01522');