4241 ( 1029 .)