מספר עובדים של תעשיות חשמל הוואי.