_:b415095874 . _:b415095874 "0"^^ .