document.write('1772\n');