function Tree (name, value, superTree) {
    this.name = name;
    this.childs = new Array();
    this.value = value;
    this.superTree = superTree;
}


function Term (id, subDocNumber, pageNumber, highlights){
    this.id = id;
    this.subDoc = subDocNumber;
    this.page = pageNumber;
    this.highlights = highlights;
}


function Highlight (x, y, width, height) {
    this.x = x;
    this.y = y;
    this.width = width;
    this.height = height;
}