var isfresh = 1;
        var idx = 0;
        var loop1 = -1;    
        var brokenstring;
	var nCurrentBanner = 0;
	var bPause = false;
	
	//img parts
	strBannerImages = new Array (
        "../images/banner.jpg",
	"../images/Logo1.jpg",
	"../images/Logo2.jpg",
        "../images/Logo3.jpg",
        "../images/Logo4.jpg"	
	);


	function rotateBanner(){
		if (isfresh == 1) {
                    isfresh = 0;
                    for (idx=0; idx < document.images.length; idx++) {
                        brokenstring = document.images[idx].src.split("/");
                        if (brokenstring[brokenstring.length -1] == "banner.jpg") {
                            loop1 = idx;            
                            break;
                        }
                    }
                }
                if (loop1 == -1) // to be tuned 
                    return;
	
		document.images[loop1].src = strBannerImages[nCurrentBanner];

		//now rotate for next iteration
		if (nCurrentBanner < strBannerImages.length-1){
			nCurrentBanner++;
		} else {
			nCurrentBanner = 0;
		}
	}


	function pause(){
		bPause=true;
	}

	function resume(){
		bPause=false;
	}