A typical tip in a restaurant is 15\% of the total bill. If the bill is $80, what would the typical tip be?