9 a ( 6042 .)