function menuhover(img) {
	var oldname = img.src;
	var i = oldname.length - 4;
	img.src = oldname.substring(0,i) + "_hover.gif";
	img.onmouseout = function() {
		img.src = oldname;
	}
}

function buttonsent(button) {

	/* prevent further clicks and form sending */
//	button.disabled = true;
//	button.onclick = null;

	/* disable form */
//	form = button.form;
//	form.action = null;

	/* show feedback to user */
	var wait = button.getElementsByTagName("span")[0];
	wait.style['display'] = 'inline';
	// img.style['display'] = 'none';

	return true; /* prevent normal processing */
}