images = new Array; images[1] = ' Ridge and Library building.

'; images[2] = ' Fall Booksale.

'; images[3] = '

'; images[4] = '

'; images[5] = '

'; images[6] = '

'; images[7] = ' Library entrance with fall foliage.

'; images[8] = '

'; images[9] = ' Library entrance with fall foliage at night.

Library entrance with fall foliage at night.

'; var rand1 = 0; var useRand = 0; var imgnum = images.length - 1; do { var randnum = Math.random(); rand1 = Math.round((imgnum - 1) * randnum) + 1; } while (rand1 == useRand); useRand = rand1; document.write(images[useRand]);