_:b415443789 . _:b415443789 "0"^^ .