( 254 12 .)