// JavaScript Document
function highlight(o, c)
{
	o.className = c;
}