_:b415133864 . _:b415133864 "0"^^ .