document.write('01672');