_:b415772140 . _:b415772140 "0"^^ .