5714x1 ) ( 7067 .)