function editGroupSelection (sessionid, target, lastpath, currentid) {	var props = 'toolbar=no,location=no,directories=no,status=yes,scrollbars=yes,resizable=yes,menubar=no,copyhistory=no';		win = window.open( 'group_select.php?PHPSESSID='+sessionid+'&target='+target+'&lastpath='+lastpath+'&currentid='+currentid, target+'Selection', props + ',width=800,height=300,left=10,top=250' );	win.focus();}
6770	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6770/572c3f2bb3a723427b3ca6f2c29ad27c0b612804/dilps.lib.js/buggy/dilps/dilps.lib.js