GIF: Portugal celebrates Cristiano Ronaldo's hat trick.