document.write('10268\n');