_:b400643249 "ef" . _:b400643249 "8"^^ .