document.write('6778\n');