add testHilbert