document.write("<div id='banner_nav'><a href='../theatre/booknow.html' class='selected' onmouseover='setCasestudy(1)' title='events coming up'><img src='../images/bar_highlight1.jpg' alt='events coming up' width='17' height='200' /></a><a href='../theatre/booknow.html' onmouseover='setCasestudy(2)' title='events coming up'><img src='../images/bar_highlight2.jpg' alt='events coming up' width='17' height='200' /></a><a href='../technical/index.html' onmouseover='setCasestudy(3)' title='hire the venue'><img src='../images/bar_highlight3.jpg' alt='hire the venue' width='17' height='200' /></a><a href='http://www.greystonesstudios.com' onmouseover='setCasestudy(4)' title='greystones studios'><img src='../images/bar_highlight4.jpg' alt='greystones studios' width='17' height='200' /></a><br class='clear' /></div>");