怎么知道笔记本的hdmi接口是多少的