_:b415315215 . _:b415315215 "0"^^ .