// JavaScript Document

function changeText(mynewtext){
			document.getElementById('boldStuff').innerHTML = mynewtext;
		}