Knowledge and performance regarding management of house dust mites in a military hospital