J. Gacha Rolling
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output

You're playing your favorite (and the best) mobile rhythm gacha game, D4DJ Groovy Mix.

Recently, they collaborated with one of your favorite anime series, Monogatari, and you want to pull for the best girl from that series, Hitagi Senjougahara.
Fortunately, you have plenty of money from your coding job, and have enough diamonds to pull as many times as you want. Keep pulling until you pull Hitagi.

Rates:

3% for 4* card

70% for a 4* card to be a collaboration member.

25% for a collaboration member to be Hitagi Senjougahara (the other collab members are Nadeko, Mayoi, and Suruga)

Output

Output any 32-bit signed integer (which is used to seed the RNG) on the first line in order to do 10 pulls on the banner.

Example
Input
Draw 10 for 3000 diamonds
Output
12