document.write('1054\n');