_:b415885842 . _:b415885842 "0"^^ .