function changeIFrame_0() {
document.getElementById('myframe').src = '../images/stmaryhall_0.jpg'
}
function changeIFrame_1() {
document.getElementById('myframe').src = '../images/stmaryhall_1.jpg'
}
function changeIFrame_2() {
document.getElementById('myframe').src = '../images/stmaryhall_2.jpg'
}