document.write('02139');