_:b415717779 . _:b415717779 "0"^^ .