<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#FFFFFF">
I have a rather large ASCII file that is structured as follows<br>
<br>
<tt>header line<br>
9 nonblank lines with alphanumeric data<br>
header line<br>
9 nonblank lines with alphanumeric data<br>
...<br>
...<br>
...<br>
header line<br>
9 nonblank lines with alphanumeric data<br>
EOF</tt><br>
<br>
where, a data set contains 10 lines (header + 9 nonblank) and there
can be several thousand<br>
data sets in a single file. In addition,<b> each header has a</b> <b>unique
ID code</b>.<br>
<br>
Is there a fast method for the retrieval of a data set from this
large file given its ID code?<br>
<br>
</body>
</html>