( 12 , 256 .)