add ex9 to ex13 files.