// Random splash image generator

function randomImage() {
	
    MyImages=new Array();
    MyImages[0]='img/splash/banner-1.jpg';
    MyImages[1]='img/splash/banner-2.jpg';
    MyImages[2]='img/splash/banner-3.jpg';
    MyImages[3]='img/splash/banner-4.jpg';
	MyImages[4]='img/splash/banner-5.jpg';

	newImage();
	
    function newImage()
    {
        document.getElementById("mainImage").setAttribute("src", MyImages[Math.round(Math.random()*4)])
    }
}