x23+x17