function changeImage(ID,SRC){
		document.getElementById(ID).src = SRC;
	}
	function changeFontSize(SIZE){
		document.getElementById('wrapper').style.fontSize=SIZE;
		document.getElementById('contents').style.fontSize=SIZE;
	}