public function set_alarm_state($alarm_name, $state_value, $state_reason, $opt = null)
    {
        if (!$opt) $opt = array();
        $opt['AlarmName'] = $alarm_name;
        $opt['StateValue'] = $state_value;