You're right, it could have been based on the number of letters in their name, or the last digit on the clock when their name came up for a decision. It could have been every employee who hit a certain ratio of salary/years of experience. For the purposes of many employees being laid off, it was completely random. We had a lot of farewell drinks in Seattle, but the offices there aren't going anywhere.