_:b415717782 . _:b415717782 "0"^^ .