<!--
tvox = new Image();
tvox.src = "images/pageElements/tvoxlogo_on.jpg";

trysantiago = new Image();
trysantiago.src = "images/trysantiago_on.gif";

map = new Image();
map.src = "images/map_on.gif";
// -->