the miners were not supposed to actively search for the stones , but if they happened to find them in the course of what they were supposed to be doing they were allowed to sell them and keep the money .