A spring mass system is set up like shown on the left. Two springs, both with spring constant k = 25 N/m are keeping a mass of 3kg at rest. The bottom spring is being compressed 0.5m. How much is the top spring being stretched?