hello world with random number: 0.7254800692802117 at