if (navigator.appVersion=='') { var Nav3compatible = false; } else { var Nav3compatible = !(eval(navigator.appVersion.substring(0,3))<3); } 
if (Nav3compatible) {
var NN3 = false;


}
function over3(name)   {
        document[name].src = "pics/wp7_" + name + "_2.gif";
}

function out3(name)  {
        document[name].src = "pics/wp7_" + name + "_1.gif";
}

NN3 = true;
function over(name)  {
if (Nav3compatible) {
        if (NN3) over3(name);
}
}

function out(name)  {
if (Nav3compatible) {
        if (NN3) out3(name);
}
}