document.write('6693\n');