function hr( id, c )
{
	if (id != "") { 
	document.getElementById( id ).style.borderColor = c; 
	document.getElementById( id ).style.borderWidth = "1px"; 
	document.getElementById( id ).style.borderStyle = "solid"; 
	}
}