document.write('1268\n');