kolstad (10/12/82)
#R:uiucdcs:11300004:uiucdcs:11300007:000:70 uiucdcs!kolstad Oct 12 12:29:00 1982 This is not a prediction of the future: the date should be 10/11/82.