// JavaScript Document
// this is for RandomBannerImage
function getRandomPic(){
pic = document.getElementById("banner_img");	
pic_folder = "images/School_kids/";  
pic_ext = ".gif";
pic_count = 18;

var randomNumber=Math.floor(Math.random()*pic_count)
pic_path = pic_folder+randomNumber+pic_ext

pic.src = pic_path ;
}