<!--
// check for Navigator 3plus:
agent = navigator.userAgent;
browserVer = 2;
if (agent.substring(0,7) == "Mozilla")
{
    if (parseInt(agent.substring(8,9)) >= 3) {browserVer = 1;}
}

                                       
function prs(imgID,nimgName) {
// mouseOver animations
//   imgDocID - the name of start image
//   imgObjName - the name of image for mouse on or off
//   pic - the name of the second image for mouse on or off

if (browserVer == 1) {
parent.pots2.document.images[imgID].src = ("images6_02/" + nimgName + ".jpg");

}}

function dummyref() {
        //used to allow the image to have an href property,
        //though no link is desired.
        }
// -->