10009x1 ) ( 5029 .)