which hdmi port on my av receiver should iuse for tv adrianhotvip xxx