function boxHighlight(boxElementId){
  boxElement = document.getElementById(boxElementId);
  boxElement.src = 'http://www.twenty20-productions.co.uk/media/boxes/'+boxElementId+'_hover.jpg';
  return false;
}

function boxDim(boxElementId){
  boxElement = document.getElementById(boxElementId);
  boxElement.src = 'http://www.twenty20-productions.co.uk/media/boxes/'+boxElementId+'.jpg';
  return false;
}