La ciudad de Vélez contaba entonces con unos 7000 habitantes.