function restartGif(){for(var i=0;i<document.images.length;i++){var img=document.images[i];var imgName=img.src.toUpperCase();if(imgName.substring(imgName.length-3,imgName.length)=="GIF"){img.src=img.src;}}}
function doShowBodyContent(toShow){document.getElementById('loadingScreen').style.display=(toShow=='1'?'none':'block');}
function doOnLoad(){doShowBodyContent('1');doShowBanners();}