function randompics() {                   
    // number of top images
    var numimages = 6;
    
    var randomgif = Math.floor(Math.random() * numimages)+1;                                              
    var imgtag = "<img src='./images/top";
    document.write(imgtag + randomgif + ".gif' />");
}

function today() {
    var months=new Array(13);
    months[1]="January";
    months[2]="February";
    months[3]="March";
    months[4]="April";
    months[5]="May";
    months[6]="June";
    months[7]="July";
    months[8]="August";
    months[9]="September";
    months[10]="October";
    months[11]="November";
    months[12]="December";
    var time=new Date();
    var lmonth=months[time.getMonth() + 1];
    var date=time.getDate();
    var year=time.getYear();
    if (year < 2000){
        year = year + 1900;
    }
    document.write(lmonth + " " + date + " " + year);       
}