( 6 512 ,)