Title: [Hugo's] pocket dictionary: Spanish-English and English-Spanish