// Defines Variables
if (document.images) {
var ho = new Image(); ho.src = "../images/home.gif"; var hoo = new Image(); hoo.src = "../images/homeo.gif";
var af = new Image(); af.src = "../images/alumni.gif"; var afo = new Image(); afo.src = "../images/alumnio.gif";
var gi = new Image(); gi.src = "../images/general_information.gif"; var gio = new Image(); gio.src = "../images/general_informationo.gif";
var sp = new Image(); sp.src = "../images/spiritual_life.gif"; var spo = new Image(); spo.src = "../images/spiritual_lifeo.gif";
var ff = new Image(); ff.src = "../images/faith_formation.gif"; var ffo = new Image(); ffo.src = "../images/faith_formationo.gif";
var sa = new Image(); sa.src = "../images/social_activities.gif"; var sao = new Image(); sao.src = "../images/social_activitieso.gif";
var jo = new Image(); jo.src = "../images/joining_community.gif"; var joo = new Image(); joo.src = "../images/joining_communityo.gif";
var nc = new Image(); nc.src = "../images/newman_community.gif"; var nco = new Image(); nco.src = "../images/newman_communityo.gif";
var de = new Image(); de.src = "../images/development.gif"; var deo = new Image(); deo.src = "../images/developmento.gif";
var ev = new Image(); ev.src = "../images/calendar.gif"; var evo = new Image(); evo.src = "../images/calendaro.gif";
var gu = new Image(); gu.src = "../images/guestbook.gif"; var guo = new Image(); guo.src = "../images/guestbooko.gif";
var li = new Image(); li.src = "../images/library.gif"; var lio = new Image(); lio.src = "../images/libraryo.gif";
var st = new Image(); st.src = "../images/staff.gif"; var sto = new Image(); sto.src = "../images/staffo.gif";
var gf = new Image(); gf.src = "../images/gift.gif"; var gfo = new Image(); gfo.src = "../images/gifto.gif";
var ns = new Image(); ns.src = "../images/newman_store.gif"; var nso = new Image(); nso.src = "../images/newman_storeo.gif";
}

// Function to make the images flip
function flip(name){
if (document.images){document.images[name].src = eval(name + "o.src");}
}

function flipoff(name){
if (document.images){document.images[name].src = eval(name + ".src");}
}