var JS = document.images;
var random_number = Math.floor(Math.random()*4)+1;    // generates a random number between 1 and 4, the upper limit number is directly after the asterisk

function getBanner() { 
	if (JS) document.images['banner'].src = 'images/home_banner_' + random_number + '.jpg';
}