function changeThumb ( m, s )
{
  if ( m = document.getElementById ( m ) )
  {
    m.src = s.substring ( 0, s.length - 5 ) + '.jpg';
  }
}