rand01.f
