_:b415397589 . _:b415397589 "0"^^ .