function chg(iid) {
	document.getElementById(iid).src = 'images/menu/'+iid+'2.gif'
}
function rst(iid) {
	document.getElementById(iid).src = 'images/menu/'+iid+'.gif'
}

function colorFlag(fid) {
	document.getElementById(fid).src = 'images/'+fid+'.gif'
}
function desatFlag(fid) {
	document.getElementById(fid).src = 'images/'+fid+'-gray.gif'
}