document.write('6786\n');