var cmd,lineno,url;  
var cmd,lineno,url,varlist,level_ctrl;  varlist = GetPluginVars(pname); 
function UpdatePlugin(pname) {    var cmd,lineno,url;    cmd = document.getElementById(pname + "_cmd").value;    lineno = document.getElementById(pname + "_lineno").value;    url = "pluginconfig.rpy?cmd=" + cmd + "&pluginname=" + pname + "&pluginline=" + lineno;    makeRequest(url , pname);}
3817	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3817/f29162e9ac3ce338dd50db2ded4c1d3ba5301724/pluginconfig.js/clean/src/www/htdocs/scripts/pluginconfig.js