Senate bills do not get a bill number until the session starts.