_:b415443775 . _:b415443775 "0"^^ .