5,735 operational nuclear warheads in the US arsenal.