function hover(sender,name)
{
  sender.src = 'b_'+name+'_hover.png';
}

function normal(sender,name)
{
  sender.src = 'b_'+name+'_normal.png';
}

function showImage(filename,type,title)
{
  document.getElementById('view').innerHTML = '<img src="'+filename+'" alt="'+type+': '+title+'">';
  document.getElementById('title').innerHTML = '<b>'+type+'</b> '+title;
}