/* some JavaScript to stoggle between two images
 * I've "stolen" it from somewhere and adapted to my needs
 */
function JV_preloadImages() {
    // Preloads images to be shown by JV_swapImage
    // Arguments:  file names of the images to be shown
    var d=document;
    if(d.images) {
	if(!d.JV_p) d.JV_p = new Array();
	var i,
	    j = d.JV_p.length,
	    a = JV_preloadImages.arguments;
	for(i = 0; i < a.length; i++) {
	    if (a[i].indexOf("#") != 0) {
		d.JV_p[j]=new Image;
		d.JV_p[j++].src=a[i];
	    }
	}
    }
}

function JV_findObj(n, d) {
    // Searches an object
    // Argument:  - name      of the object
    //            - document  to be searched, optional
    var p,i,x;
    if(!d) d=document;
    if((p = n.indexOf("?")) > 0 && parent.frames.length) {
	d=parent.frames[n.substring(p+1)].document;
	n=n.substring(0,p);}
    if(!(x=d[n])&&d.all) x=d.all[n];
    for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
    for(i=0;!x&&d.layers&&i<d.layers.length;i++)
	x = JV_findObj(n,d.layers[i].document);
    if(!x && document.getElementById)
	x = document.getElementById(n);
    return x;
}

function JV_restoreImage() {
    // Restores the image to be swapped out by JV_swapImage
    // Arguments:   none
    document.JV_previous.src = document.JV_previous.oSrc;
}

function JV_swapImage() {
    // Arguments: - name of the alread shown image
    //            - file name of the new to be shown image
    var x,
	name = JV_swapImage.arguments[0],
	src  = JV_swapImage.arguments[1];
    if ((x = JV_findObj(name)) != null) {
	    document.JV_previous = x;
	    if(!x.oSrc) x.oSrc = x.src;
	    x.src = src;
    }
}
/*****************************************************************************/