Question: Can you tell me the name of the employee that is in the circulation history with document id 1?
SQL: SELECT T1.employee_name FROM employees as T1 JOIN circulation_history AS T2 ON T1.employee_id  =  T2.employee_id WHERE T2.document_id  =  1