_:b415120022 . _:b415120022 "0"^^ .