_:b415080959 . _:b415080959 "0"^^ .