document.write('1056\n');