function swaphigh(that){
	var hlight=that.src.substring(0,that.src.length-4);
	hlight+="_hl.gif";
	that.src=hlight;
}
function swap(that){
	var hlight=that.src.substring(0,that.src.length-7);
	hlight+=".gif";
	that.src=hlight;
}