4143 ; ( 40273 .)