_:b415213140 . _:b415213140 "0"^^ .