12 3t | ( i ; i11