see testDet.java