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

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

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