谨以此旧文怀念刘道玉校长。