public static final double myRand(double seed){
  double t=16807.0 * seed + 1;
  seed=t - (2147483647.0 * Math.floor(t / 2147483647.0));
  return seed;
}

public static final double myRand ( double seed ) { double t = 16807.0 * seed + 1 ; seed = t - ( 2147483647.0 * Math . floor ( t / 2147483647.0 ) ) ; return seed ; }
random number generator used by the orignal bh benchmark .
