Semigroup of nonexpansive mappings on a Hilbert space