document.write('1283\n');