hotstuff17 (150.947)