A report gives the average revenue per user for Basic users as $12 and for Premium users as $36. There are 5 times as many Basic users as Premium users. What is the overall average revenue per user?