_:b415133580 . _:b415133580 "0"^^ .