HUT DKI KE 494