// JavaScript Document

function over(id) {
	document.getElementById(id).className = 'white-bold';
}

function out(id) {
	document.getElementById(id).className = 'white';
}