Cómo importar manos desde Elephant?