Paying a restaurant bill

..... and leaving a tip (between 10 and 20 % of the bill depending on the country).