// 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');
}