they use a custom content management system from what I can see… there’s nothing on the market that can accomodate such a vast site. just by browing their site really quickly I would say that they are either outsourcing to a linux dev house or doing everything themsevles in house.
just my 2 cents though…