RED HAT ENTERPRISE SERIAL NUMBER