Implementation of HA5