function editThesaurus( sessionid, id, element, elementid, elementindex) {   var props = 'toolbar=no,location=no,directories=no,status=yes,scrollbars=yes,resizable=yes,menubar=no,copyhistory=no';      win = window.open( 'edit_thesaurus.php?PHPSESSID='+sessionid+'&query[id]='+id+'&query[element]='+element+'&query[elementid]='+elementid+'&query[elementindex]='+elementindex, 'thesaurusEdit', props + ',width=600,height=350' );   win.focus();}
6770	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6770/572c3f2bb3a723427b3ca6f2c29ad27c0b612804/dilps.lib.js/buggy/dilps/dilps.lib.js