/**
* Returns the test inside the div with the given id
*/
function getGlossaryText(divId) {

    var text;
    
    text = window.document.getElementById(divId).innerHTML;
    
    //alert("got text:"+text);
    return text;
}