13212 , 3 .)