<!--
function swap(x){
	var str=x.src;
	if (str.indexOf('_h.gif')==-1){
		str=str.replace('.gif','_h.gif');
	}
	x.src=str;
}
function swapBack(x){
	var str=x.src;
	if (str.indexOf('_h.gif')){
		str=str.replace('_h.gif','.gif');
	}
	x.src=str;
}
//-->
