function gmenuOn(id) {
	document.getElementById(id).src = '/images/' + id + '_ov.gif';
}

function gmenuOff(id) {
	document.getElementById(id).src = '/images/' + id + '.gif';
}