modified:   ex5.25.nb
renamed:    ex5.25.nb -> ex5.25ex5.26.nb