document.write('10832\n');