Java Warriors

Jerry has earned acclaim as a renowned coach in the highly competitive realm of the International Collegiate Programming Contest (ICPC). His coaching prowess is exemplified by his unique approach: he trains his students to excel in ICPC competitions by using Java, a programming language seldom used in this arena. As a result, Jerry's teams are known as the "Java Warriors."

Jerry coaches $n$ teams for the 2023 ICPC Taoyuan Regional Contest. The registration fee is $4000$ dollars per team, and Jerry does not have enough funds to pay for all the Java Warriors. He prays:

Dear God,

I come before you with a humble heart and a deep desire to help my teams compete in the international collegiate programming contest. The registration fee is a significant hurdle, and I lack the funds to support them all.

Please provide the resources to cover the registration fees for these teams. This contest is about learning, teamwork, and growth as much as winning. Help us overcome this financial obstacle so we can keep developing their skills and aspirations.

Give me wisdom to make good decisions and the determination to explore every option. If it is your will, open doors, connect us with people or organizations willing to help, or inspire creative solutions.

Thank you for hearing my prayer. I trust that with your help we can overcome this challenge.

In your holy and gracious name, I pray,

Amen.

Moved by his sincerity, you decide to cover the registration fees for the Java Warriors. How much should you donate so Jerry's teams can compete in the 2023 ICPC Taoyuan Regional Contest?

The input contains a positive integer $n$, the number of Java Warriors teams registering for the 2023 ICPC Taoyuan Regional Contest. $n$ is at most $20$.

Output the total amount of registration fees.