4k? Are you sure? Isn't that a bit big for any screen to display anyway? I wouldn't be surprised if a Flash video wouldn't support that size correctly, especially considering how CPU hungry Flash is even if the video is tiny. I think it's quite normal if it's laggy, regardless of your hardware. Sometimes software can be so bad it doesn't really matter what computer you're running it on.