// Simple image swaping function

var img = 0;

function swap (id) {
	img = document.getElementById(id)
	img.src = img.src.replace(/\.gif/,'_h.gif');
}

function restore () {
	if (img)
		img.src = img.src.replace(/_h\.gif/,'.gif');
}