fucntion get_source()
{
	var eleNames = getElementsByTagName("textbox");
	for(var i=0; i < eleNames.length; i++)
	{
		var scrPath = eleNames[i].getAttribute("path");
		alert(srcPath);
		xmlHttp = new XMLHttpRequest();
		xmlHttp.onreadystatechange = stateChange(i);
		var url = '/xul/Startrev?getfile='+srcPath;
		xmlHttp.open("GET",url,true);
		xmlHttp.send(null);
	}
}
	
function stateChange(i)
{
			var a = i;
			if(xmlHttp.readyState == 4)
			{
				eleNames[a].setAttribute("value",responseText);
			}
}