function swapVerticalLine(myelement, color) {
	el = document.getElementById(myelement);
	//alert(el);
	el.src="img/vertical_" + color + ".gif";
}