document.write('1384\n');