5031 ) ( 42098 .)