use the spinner of jquery ui