document.write('01524');