4143 ( 40273 .)