5172 .)