// JavaScript Document

function updateText(newText) {
document.getElementById('hovertext').innerHTML = newText;
		
}