_:b415133700 . _:b415133700 "0"^^ .