4090x3 ) ( 4707 .)