8024x3 ) ( 4379 .)