function RefreshImage(a){var b=document.images[a];if(b==undefined){return}var c=new Date();b.src=b.src.split("?")[0]+"?x="+c.toUTCString()};