end of Ex3 s12