function w3cHighlight(element, value)
{
	element.src = "Images/" + (value ? "h_" : "") + element.id + ".png";
}