// JavaScript Menu Buttons
imgsrc=new Array();
imgsrc[1]="images/homeov.gif";
imgsrc[2]="images/home.gif";
imgsrc[3]="images/aboutusov.gif";
imgsrc[4]="images/aboutus.gif";
imgsrc[5]="images/newsov.gif";
imgsrc[6]="images/news.gif";
imgsrc[7]="images/eventsov.gif";
imgsrc[8]="images/events.gif";
imgsrc[9]="images/resultsov.gif";
imgsrc[10]="images/results.gif";
imgsrc[11]="images/recordsov.gif";
imgsrc[12]="images/records.gif";
imgsrc[13]="images/trainingov.gif";
imgsrc[14]="images/training.gif";
imgsrc[15]="images/contactsov.gif";
imgsrc[16]="images/contacts.gif";
imgsrc[17]="images/linksov.gif";
imgsrc[18]="images/links.gif";

img=new Array();
for (i=0; i<  imgsrc.length; i++){
  img[i]=new Image();
  img[i].src=imgsrc[i];
} function change(number, picture)
  {{
    document[picture].src=img[number].src;
}}