// JavaScript Document
	function changeimg(num, id) {
		document.getElementById(id).src =  "../images/" + num + "B.jpg";
	}
	
	function changeimgb(num, id) {
		document.getElementById(id).src =  "../images/" + num + "L.jpg";
	}
	
	function changeimg2(num, id) {
		document.getElementById(id).src =  "../images/" + num + "-bold.jpg";
	}
	
	function changeimgb2(num, id) {
		document.getElementById(id).src =  "../images/" + num + "-roman.jpg";
	}