function swapimg(obj) {
	if(obj.src.match(/_f2.(jpg|gif|png)/)) {
		obj.src = obj.src.replace('_f2', '');
	} else {
		obj.src = obj.src.replace(/\.(jpg|gif|png)$/, "_f2.$1");
	}
}

function OpenMenu(id){ 
			document.getElementById( id ).style.visibility = 'visible';
}
function CloseMenu(id01,id02,id03){ 
			document.getElementById( id01 ).style.visibility = 'hidden';
			document.getElementById( id03 ).style.visibility = 'hidden';
}