document.write('02502');