document.write('1293\n');