( 3 ' 512 .)