var img_switch = function () {
	var target_img = $('target_img');

	$('thumbs').getElements('a').each( function(element) {
		var target_img_src = element.getElements('img')[0].getAttribute('src').substring(14);
		element.addEvent('click', function() {
			target_img.setAttribute('src', '/images/' + target_img_src);	
		});

	});

}

window.addEvent('load', img_switch);