function FlipImage(name, short, id, long) {
document.images[name].src='/img/caricatures/' + short + '.jpg';
document.images[name].alt=long;
document.getElementById(id).innerHTML=long;
}