/* flip images for mouse over effect */
function flip_image(id, image){
    // window.status = image;
    var img = new Image();
    img.src = image;
    var knot = eval(document.getElementById(id));
    knot.src = img.src;
}

/* short form - for faster programming of flip_image function */
function fi(id, image) {
    flip_image(id, image);
}