1093x2 ) ( 1717 .)