To make a mixture which can dissolve gold, nitric acid and hydrochloric acid are to be mixed in the ratio 3 : 1. With 12 milliliters of hydrochloric acid, how much nitric acid should be mixed?