function highlight() {
	this.src=this.src.replace('.gif','_f2.gif');
}