// JavaScript Document

function highlight (arg)
{
	var parent_array=arg.split(",");

	for (x in parent_array)
	{
		parent_id = parent_array[x];
		document.getElementById(parent_id).className = "highlight";	
	}
}