function doButtons(picimage) {
document['otherImage'].src=picimage;
}