5112 , 3 .)