// JavaScript Document
function changeClass(id) {
var element;

if (document.getElementById && (element = document.getElementById(id)))
element.className = (element.className == 'highlight') ? 'noHighlight' : 'highlight';
}