<!-- Begin
var pic1 = new Image();
var pic2 = new Image();
var pic3 = new Image();

pic1.src = "images/arlen1.jpg";
pic2.src = "images/symph1.jpg";
pic3.src = "images/seren1.jpg";

function doButtons(picimage) {

document['picture'].src=picimage;
}
//  End -->