// JavaScript Document
function changeImages(image_name, image_new,win_status) {
	if (win_status == null){ win_status = "mertens3d"};
	window.status = win_status;
	if (document.images) {
		document.images[image_name].src = image_new;
		}
}