from random import randint
print(sum([1 if randint(1,10)<7 else 0 for k in range(20)]))