if(navigator.appVersion.charAt(0) >= 3) {
 var img = new Array();
 img[0] = new Image();  img[0].src = "images/leaf01.gif";
 img[1] = new Image();  img[1].src = "images/leaf01_over.gif";
 img[2] = new Image();  img[2].src = "images/leaf02.gif";
 img[3] = new Image();  img[3].src = "images/leaf02_over.gif";
 img[4] = new Image();  img[4].src = "images/leaf03.gif";
 img[5] = new Image();  img[5].src = "images/leaf03_over.gif";


}
function change_image(nam,num) {
  if(navigator.appVersion.charAt(0) >= 3) {
    document.images[nam].src = img[num].src;
  }
}