// JavaScript Document
function swapArrow1_over(){
	var obj = window.document.getElementById("arrow1");		
	obj.src ="gui/splash_arrorws_over.jpg";
}
function swapArrow1_live(){
	var obj = window.document.getElementById("arrow1");		
	obj.src ="gui/splash_arrorws.jpg";
}

function swapArrow2_over(){
	var obj = window.document.getElementById("arrow2");		
	obj.src ="gui/splash_arrorws_over.jpg";
}
function swapArrow2_live(){
	var obj = window.document.getElementById("arrow2");		
	obj.src ="gui/splash_arrorws.jpg";
}