_:b415808517 . _:b415808517 "0"^^ .