4000x2 ) ( 1708 .)