_:b415157035 . _:b415157035 "0"^^ .