document.write('10425 ');