close( WHTML ) ;