if (img.src.indexOf(".png") > -1 && img.src.indexOf("/images/") > -1 && img.src.indexOf("/theme/") > -1) { img.src = img.src.replace(/\.png$/i, ".gif"); }
if (img.src.indexOf(".png") > -1 && img.src.indexOf("/images/") > -1 && img.src.indexOf("/theme/") > -1) { img.src = img.src.replace(/\.png$/i, ".gif"); }