( f 5230 .)