// JavaScript Document
function SwapImage(buttonid,img) {
  document.getElementById(buttonid).src="/images/nav/"+img
}