/Main.hs/1.1/Thu Aug  5 11:12:46 2004//Tnhc98-1-18-release
/banner.stdin/1.1/Thu Aug  5 11:12:46 2004//Tnhc98-1-18-release
/banner.stdout/1.1/Thu Aug  5 11:12:46 2004//Tnhc98-1-18-release
D
