function reddot() {
	var imgs = this.getElementsByTagName("img");
	for (var i=0 ; i<imgs.length ; i++) {
		if ( /(^|s)antenna(s|$)/.test(imgs[i].className) ) {
			imgs[i].src = "img/antenna.gif";
		}
	}
}

function bluedot() {
	var imgs = this.getElementsByTagName("img");
	for (var i=0 ; i<imgs.length ; i++) {
		if ( /(^|s)antenna(s|$)/.test(imgs[i].className) ) {
			imgs[i].src="img/bantenna.gif";
		}
	}
}

$(
	function(){
		$("table.thumbs td").hover(reddot, bluedot);
	}
);