41231 ( 40074 .)