(setf *x* 625)