// Properties
var num_image = 160
var path = "images/banner/"
var ext = ".jpg"
 
// New array of urls 
array_urls = new Array(10)  
array_urls[0] = "index.html"  
array_urls[1] = "about/index.html"  
array_urls[2] = "staff/index.html"  
array_urls[3] = "research/index.html"
array_urls[4] = "clinical/index.html"
array_urls[5] = "patients/index.html"
array_urls[6] = "teaching/index.html"
array_urls[7] = "events/index.html"
array_urls[8] = "contact/index.html"
array_urls[9] = "links/index.html"

// function that changes the banner
function change_banner(){ 
	var array_image = new Image(380,200)
	var count = Math.floor(Math.random()*160);
    count = count % num_image
	array_image.src = path + count + ext
	var link = count % 10
    window.document["banner"].src = array_image.src
	document.getElementById("lnk").href = array_urls[link]
    setTimeout("change_banner()",2000)  // 1500 -> time in miliseconds
}