a 1 ; 12,