void set_monitor(int monitor_num);