L.S. The NOVA CVS server has been out of order since this morning 8:30 and will probably be up again late today or earl y to morrow. W're sorry for the inconvenience. Cheers, Kor.