document.write('03139');