<!--var img1 = new Image();var img2 = new Image();var img3 = new Image();var img4 = new Image();var img5 = new Image();var img6 = new Image();img1.src = "img/txt-us-on.gif";img2.src = "img/txt-what-on.gif";img3.src = "img/txt-case-on.gif";img4.src = "img/txt-web-on.gif";img5.src = "img/txt-print-on.gif";img6.src = "img/txt-contact-on.gif";function doButtons1(picimage1) {document['us'].src=picimage1;}function doButtons2(picimage2) {document['what'].src=picimage2;}function doButtons3(picimage3) {document['case'].src=picimage3;}function doButtons4(picimage4) {document['web'].src=picimage4;}function doButtons5(picimage5) {document['print'].src=picimage5;}function doButtons6(picimage6) {document['contact'].src=picimage6;}//-->