12 ; t .)