function changePic_1() {
	setPic('application_splash2.gif')
}

function backDefault() {
	setPic('application_splash.gif')
}

function setPic(pic){
	if(document.getElementById){
		var a = document.getElementById("defaultPic"); 
		if(a){ a.src="/images/"+pic
		}
	}	
}