Alternative to swapping my receiver's HDMI inputs

[Phonesis]

I've got a 5.1 Onkyo receiver with 3 HDMI inputs and 1 output. This is fine but I've recently purchased a 4th HDMI input device which I like to plug into the receiver. I have to therefore swap this input with one of the others every time I want to use it.

I just wondered if there was any solution to this other than buying a receiver with more HDMI inputs? Some sort of HDMI switcher / extender? Really can't find anything though but not entirely sure what I should be looking for.

Thanks in advance.

 

[Phonesis]

Thanks, I was searching for things like "HDMI port" etc. Was getting myself in a muddle. I can see straight away that a 3 in 1 out auto switch should do the job fine.