Statistics help? SEM?

The price of a gallon of regular unleaded gas at a random sample of 4 locations in Orange County today are 4.07, 4.15, 3.95, and 4.23 dollars. What is the standard error of the mean price per gallon for gas in this sample? Thanks in advance!