With $$$ (Dollar) signs, because the funding came from US taxpayers.