if (document.images) {
pdf_F1 = new Image(65,19); pdf_F1.src = "img/navig/boff.gif";
pdf_F2 = new Image(65,19); pdf_F2.src = "img/navig/bhi.gif";

pdf_F3 = new Image(65,19); pdf_F3.src = "img/navig/boff.gif";
pdf_F4 = new Image(65,19); pdf_F4.src = "img/navig/bhi.gif";

pdf_F5 = new Image(65,19); pdf_F5.src = "img/navig/boff.gif";
pdf_F6 = new Image(65,19); pdf_F6.src = "img/navig/bhi.gif";

pdf_F7 = new Image(65,19); pdf_F7.src = "img/navig/boff.gif";
pdf_F8 = new Image(65,19); pdf_F8.src = "img/navig/bhi.gif";

pdf_F9 = new Image(65,19); pdf_F9.src = "img/navig/boff.gif";
pdf_F10 = new Image(65,19); pdf_F10.src = "img/navig/bhi.gif";

pdf_F11 = new Image(65,19); pdf_F11.src = "img/navig/boff.gif";
pdf_F12 = new Image(65,19); pdf_F12.src = "img/navig/bhi.gif";

pdf_F13 = new Image(65,19); pdf_F13.src = "img/navig/boff.gif";
pdf_F14 = new Image(65,19); pdf_F14.src = "img/navig/bhi.gif";

pdf_F15 = new Image(65,19); pdf_F15.src = "img/navig/boff.gif";
pdf_F16 = new Image(65,19); pdf_F16.src = "img/navig/bhi.gif";

pdf_F17 = new Image(65,19); pdf_F17.src = "img/navig/boff.gif";
pdf_F18 = new Image(65,19); pdf_F18.src = "img/navig/bhi.gif";
}
/* Function that swaps images. */
/* Note 2 images defined, one default and the other when hovering */
/* Note that "pdf_library.gif" is defined twice in this code */

function rollImage(id, newSrc) {
var theImage = FWFindImage(document, id, 0);
if (theImage) {
theImage.src = newSrc.src;
}
}

/* Functions that track and set toggle group button states. */

function FWFindImage(doc, name, j) {
var theImage = false;
if (doc.images) {
theImage = doc.images[name];
}
if (theImage) {
return theImage;
}
if (doc.layers) {
for (j = 0; j < doc.layers.length; j++) {
theImage = FWFindImage(doc.layers[j].document, name, 0);
if (theImage) {
return (theImage);
}
}
}
return (false);
}