12424x1 ) ( 5976 .)