We have a tape library that's very extensive, so you'll continue to see Ernie, Kermit, Guy Smiley and all those characters (that Henson voiced) on every day as much as they were. As to what we'll do in the future, that decision hasn't been made yet. But Jim's characters are alive on "Sesame Street."