if (k >= args.length) l = str.length - 1;
    else {
        re = eval('/,' + args[k] + '/');
        l = str.search(re);
    }