hello world with random number: 0.6712365785859054 at