\AMCrandomseed{11051975}