public int get_THEN(int INDEX, String code)
    {
        log.log(4, log_key, "call   get_THEN, INDEX = ", new Integer(INDEX).toString(), "\n");
        for(;;INDEX++) {
            if ( (code.charAt(INDEX)     == 'T') &&
                 (code.charAt(INDEX + 1) == 'H') &&
                 (code.charAt(INDEX + 2) == 'E') &&
                 (code.charAt(INDEX + 3) == 'N') )
            {
                log.log(4, log_key, "return get_THEN, INDEX = ", new Integer(INDEX).toString(), "\n");
                return INDEX;
            }
        }
    }