contractName:

Random

contractCode:

access(all) contract...) / 100_000.0 } }