

// swap images
function di(id,name)
{
  if (document.images)
    document.images[id].src='graphics/jks/'+name;  
}

