function swap_image(ev) {
	var me = document.addEventListener? ev.currentTarget: this;
	var my_image = me.href;
	var the_image = document.getElementById("the_image");
	the_image.src = my_image;
	if (document.addEventListener) ev.preventDefault();
	return false;
}

function attach_handlers() {
	var div = document.getElementById("thumbnails");
	var links = div.getElementsByTagName("a");
	for (var i = 0; i < links.length; ++i)
		if (document.addEventListener)
			links[i].addEventListener("click", swap_image, false);
		else
			links[i].onclick = swap_image;
}

if (document.addEventListener)
	window.addEventListener("load", attach_handlers, false);
else window.onload = attach_handlers;
