I've just been asked to play this tune so here it is. I'm not too sure how reliable this version is but it is maybe a bit closer to the version common in Ireland than the version on another website near you. I think it mightn't originally be an Irish tune so maybe the funny version is the normal version where the funny version comes from and the normal version is maybe ... etc.
This is also known as "The Cliff Hornpipe". Whether that's the Cliff of "Summer Holiday" fame, I don't know.