document.write('10188 ');