8440x1 ) ( 4409 .)