<!--

var jsPrefix = new Array(2);
jsPrefix['on'] = '_3.gif';
jsPrefix['out'] = '_2.gif';

function jsSwapImageMenu(jsRif, jsOnOff)
{
   var immagine = jsRif.src.match('(.*)/([a-zA-Z]*)_[2-3]\.gif$');
	jsRif.src = immagine[1] + '/' + immagine[2] + jsPrefix[jsOnOff];
}
//-->