// JavaScript Document
// Custom Javascript for additional functionality
<!--

function changeGraphic(target, changeTo) {

	var id=document.getElementById(target);
	id.src=changeTo;

}


-->