( np t : 12 .)