1600X9- ) ( 3139 .)