_:b415712140 . _:b415712140 "0"^^ .