document.write('02500');