mined 2000 release 13.2
