how many people work in the united states office of management and budget ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbp_office dbr_United_States_Office_of_Management_and_Budget brack_close