/*****************************************************************************
Scrolling arrows to turn red 
*****************************************************************************/
<!--
    	up_arrow = new Image();
		up_arrow.src = "article_images/article_up_arrow.gif";

    	up_arrow_on = new Image();
		up_arrow_on.src = "article_images/article_up_arrow_on.gif";

    	down_arrow = new Image();
		down_arrow.src = "article_images/article_down_arrow.gif";

    	down_arrow_on = new Image();
		down_arrow_on.src = "article_images/article_down_arrow_on.gif";
		
		
function arrowRollover(ImgName){

		if (document.images){

// 'loaded' variable from scroll.js to make sure the document has loaded
			if (loaded==1){
				document[ImgName].src = eval(ImgName + "_arrow_on.src");
//				this.src = eval(ImgName + "_arrow_on.src");
			}
		}
}

function arrowRollout(ImgName){
		if (loaded==1){
			if (document.images){
           		document[ImgName].src = eval(ImgName + "_arrow.src");
//             	this.src = eval(ImgName + "_arrow.src");
			}
		}
}

//-->