document.write('1074\n');