Recording length of randd-hkhdg