function random_banner(){ images = new Array(15); images[0] = '

'; images[1] = '

'; images[2] = '

'; images[3] = '

'; images[4] = '

'; images[5] = '

'; images[6] = '

'; images[7] = '

'; images[8] = '

'; images[9] = '

'; images[10] = '

'; images[11] = '

'; images[12] = '

'; images[13] = '

'; images[14] = '

'; index = Math.floor(Math.random() * images.length); return images[index]; }