else { $seqs{$sequence} = "$date;$orig;$desg;$body"; }