function appendToSelect(select, value, content, selected) {
		var opt;
        opt = document.createElement("option");
		opt.value = value;
	    opt.appendChild(content);
        select.appendChild(opt);
		if (selected) {opt.selected = true; } 		
	}
	

	 function populateList() {
        select= document.getElementById('minfo_select');
		for(i = 0; i < minfo.length; ++i) {
		  appendToSelect(select, pageurl + '?mid=' +i, document.createTextNode(minfo[i][0]), (i==mid));
        }
    }