20010802 unknown: Code Red is dead for now; may be