// LOCATING WORDNET IN JSCRIPT
// bbou@ac-toulouse.fr

var theshell = WScript.CreateObject("WScript.Shell");
var theversion="3.0";
var thevalue = "WnHome";

theshell.popup(getproxysettings("HKLM"),0,"WordNet location - machine-wide settings");
WScript.quit();

//////////////////////////////////////////////////////////////////////////////////

function getproxysettings(thiskey)
{
	var thiskey=thiskey+"\\Software\\WordNet\\"+theversion;
	var thistarget=thiskey+"\\"+"WnHome";
	try{ return theshell.RegRead(thistarget);}catch(e){return "Error while reading WordNet location from \nkey="+thiskey+"\nvalue="+thevalue}
}