function changeIFrame_0() {
document.getElementById('myframe').src = '../images/standrewhall_1a.jpg'
}
function changeIFrame_1() {
document.getElementById('myframe').src = '../images/standrewhall_2.jpg'
}
function changeIFrame_2() {
document.getElementById('myframe').src = '../images/standrewhall_3.jpg'
}