document.write('02508');