protótipos das funções dadas