options und JSlider