N:o 9 . f ( 6231 .)