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