<!--
function picture1() {
window.open("1.jpg");
}
function picture2() {
window.open("2.jpg");
}
function picture3() {
window.open("3.jpg");
}
function picture4() {
window.open("4.jpg");
}
function picture5() {
window.open("5.jpg");
}
function picture6() {
window.open("6.jpg");
}
function picture7() {
window.open("7.jpg");
}
function picture8() {
window.open("8.jpg");
}

function doButtons(picimage) {
document['picture'].src=picimage;
}
-->