move Ex17
Ex17.7, Ex17.8, Ex17.12