A dest in ihnfet