​
number of coin tosses
1000
random seed