( 11 , 512 .)