document.write('6784\n');