15 , 812 .)