How many workmen does it take to repair an electric cable