NIST total budget for 2017 was close to 965 Million, I was curios trying to find out what the Time and Frequency Division portion was. No Luck. Does any one know?Thanks Bert Kehren