_:b400151611 "pretty" . _:b400151611 "7"^^ .