3873 ) ( 6512 .)