function convert_to_alignment () {

    var anPos = document.getElementById("instring").value;
    document.getElementById("outstring").value =  data[atype][anPos-1];
    //alert("alignment: " + an + " to " + data[atype][an-1]);
}

function convert_to_anderson () {

    var alPos = document.getElementById("instring").value;

    for (var i=0; i<data[atype].length;i++) {
	if (data[atype][i] == alPos) {
	    document.getElementById("outstring").value =  i+1;
	    //alert("alignment: " + alPos + " to " + (i+1));
	}
    }
}