7 12 } 23.