var playbit=1;

function changeimage(bit1,bit2) {
document.getElementById(bit2).src='/images/'+bit1;
playbit=0;
}

function changeimage2() {
playbit=1;
}

function randomtallimage() {
var randomnumber=Math.floor(Math.random()*3)+1;
document.write('<img src="/images/tallpic'+randomnumber+'.jpg" width="175" height="289">');
}