_:b415523398 . _:b415523398 "0"^^ .