22384x1 ) ( 8042 .)