document.write('1076\n');