function updateUsed(newString) {
	usedDiv=document.getElementById('used_type');
	usedDiv.innerHTML=newString;
}