1 2227f6d5 2005-05-12 devnull compressed 2 2227f6d5 2005-05-12 devnull k1 0 0 1932 12 12 2851 †à3 2227f6d5 2005-05-12 devnull Œ