function doButtons3(picimage) {
document  ['picture3'].src=picimage;
}