document.write('10126\n');