What is total membership of US Senate?