function vaihda2() {
  if(document.images) {
    document.kuva1.src = '2.gif';
    document.kuva2.src = '3.gif'; } }
function vaihda2tak() {
  if(document.images) {
    document.kuva1.src = '1.gif';
    document.kuva2.src = '1.gif'; } }