function changeSrc(thus, x) {
	var oldSrc = thus.src;
	var newname = oldSrc.substring( 0, oldSrc.length-5 ) + x + ".gif" ;
	thus.src = newname;
}