512 , 257 ;12