Random is exported to static

Random is exported to static to eliminate the problem with the seed.