document.write('6976\n');