_:b415397133 . _:b415397133 "0"^^ .