// JavaScript Document
<!--
function changeText(section){
	document.getElementById(section).innerHTML = '<strong>' + section + '</strong>';
}
-->