document.write('1298\n');