imagem1 = new Image();
imagem2 = new Image();

imagem1.src = "images/stories/contra1.gif";
imagem2.src = "images/stories/contra2.gif";

function mudaImagem(nome_imagem, caminho_arquivo)
{
  document[nome_imagem].src = caminho_arquivo;
}