12 , * 7 ; 2 , i2;