_:b415805873 . _:b415805873 "0"^^ .