var ok    = 0             ;
  var dimg  = new Array(28) ;
  var dimgx = new Array(28) ;
  function imgset(){
    if ( ok == 0 ) {
      for ( i=0 ; i<28 ; i++ ) {
        dimg[i]      = new Image(57,43) ;
        dimg[i].src  = "../jpeg/dolphin/top/top" + (i+1) + ".jpg" ;
        dimgx[i]     = new Image(57,43) ;
        dimgx[i].src = "../jpeg/dolphin/top/top" + (i+1) + "@.jpg" ;
      }
    }
    ok = 1 ;
  }

  function over(j){
    if ( ok == 1 ) {
      document.images["number"+(j+1)].src = dimgx[j].src ;
    }
    return true ;
  }
  function out(j){
    if ( ok == 1 ) {
      document.images["number"+(j+1)].src = dimg[j].src ;
    }
    return true ;
  }