function writecontent(page_request){
if (window.location.href.indexOf("http")==-1 || page_request.status==200)
document.write(page_request.responseText)
}

var arand1 = 0;
var auseRand = 0;
imagesd1 = new Array;

imagesd1[1] = new Image();
imagesd1[1].src = "images/home1.jpg";

imagesd1[2] = new Image();
imagesd1[2].src = "images/home2.jpg";

imagesd1[3] = new Image();
imagesd1[3].src = "images/home3.jpg";


function swapPicbot() {
var imgnum = imagesd1.length-1;
do {
var randnum = Math.random();
arand1 = Math.round((imgnum - 1) * randnum) + 1;
} while (arand1 == auseRand);
auseRand = arand1;
document.botimg.src = imagesd1[auseRand].src;

}