4073 ) ( 10117 .)