Edit File: random_number.h