se TCC:HofHovKil17 Første steg i [[Fujisaki-Okamoto]].