_:b415291272 . _:b415291272 "0"^^ .