function setMenu(s) {
	var f = top.frames['mainFrame'];
	for(i=0; i<f.document.images.length; i++) {
		var image = f.document.images[i];
		var iname = image.name;
		var old_src = image.src;
		if(old_src.indexOf('selected') != -1) {
			var mid_src = old_src.substring(0, old_src.length - 13);
			var new_src = mid_src + '.gif';
			image.src = new_src;
		}
		if(iname.indexOf(s) != -1) {
			var mid_src = old_src.substring(0, old_src.length - 4);
			var new_src = mid_src + '_selected.gif';
			image.src = new_src;
		}
	}
}
function imgReplace(i, o) {
	o.src = i;
}