document.write('6908\n');