function change_color(el, color)
{
	document.getElementById(el).style.borderLeftColor = color;
}