document.write('02145');