document.write('01247');