how many people are in the 1st infantry division ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbo_militaryBranch dbr_1st_Infantry_Division_ attr_open United_States attr_close brack_close