_:b415207708 . _:b415207708 "0"^^ .