// JavaScript Document

// swap CSS classes
function mouseover(arg1, arg2)
{
	document.getElementById(arg1).className = arg2;
}
function mouseout(arg1, arg2)
{
	document.getElementById(arg1).className = arg2;
}