x2 ) ( 1708)