function fetch(dSource) {
	ajaxObj.open("get",dSource,true);

	ajaxObj.onreadystatechange = function() {
		if (ajaxObj.readyState == 4 &&	ajaxObj.status == 200) {
			var xmlData = ajaxObj.responseXML;
			xml = xmlData.getElementsByTagName("data");
			listXml();
		}
	}
	ajaxObj.send(null);
}

function listXml() {
	var lindex;
	var obj = document.getElementById("optionList");
	for (lindex=0; lindex < xml.length; lindex++) {
		obj.xml[lindex] = new Option(xml[lindex].firstChild.data);
	}
}