document.write('6975\n');