document.write('02251');