// JavaScript Document

var lastimg = 'images/facilities/Lg-Image-15.jpg';
function switchimg (imgname) {
	if (lastimg != imgname) {
		document.getElementById('lg-img').src = imgname;
		lastimg = imgname;
	}
}