function unique(ary) {
    var i = 0,
        gid = '_' + (+new Date) + Math.random(),
        objs = [],
        hash = {
            'string': {},
            'boolean': {},
            'number': {}
        }, p, l = ary.length,
        ret = [];
    for (; i < l; i++) {
        p = ary[i];
        if (p == null) continue;
        tp = typeof p;
        if (tp in hash) {
            if (!(p in hash[tp])) {
                hash[tp][p] = 1;
                ret.push(p);
            }
        } else {
            if (p[gid]) continue;
            p[gid] = 1;
            objs.push(p);
            ret.push(p);
        }
    }
    for (i = 0, l = objs.length; i < l; i++) {
        p = objs[i];
        p[gid] = undefined;
        delete p[gid];
    }
    return ret;
}

function process() {
    list = document.getElementById('content');
    arr = list.value.split('\n');
    arr = unique(arr);
    var html = "";
    for (key in arr) {
        html += arr[key] + '\n';
    }
	hightout(html);
}