Text this: DNI releases budget figure for National Intelligence Program.