function el(id) {
	return document.getElementById(id);
}
function switchImage(imageid,base_path) {
	if(el(imageid).src==base_path+'/core/gfx/showroomA.jpg') {
		el(imageid).src=base_path+'/core/gfx/showroomB.jpg';
	} else {
		el(imageid).src=base_path+'/core/gfx/showroomA.jpg';
	}
}
function jump(url) {
	window.location=url;
}