_:b415400589 . _:b415400589 "0"^^ .