function jumpTo(whichVid,theTime) {  //whichVid can be 1 or 2, theTime is in seconds
    thisMovie("vplayer").jumpTo(whichVid,theTime);
}

function thisMovie(movieName) {
    if (navigator.appName.indexOf("Microsoft") != -1) {
        	return window[movieName]
    }
    else {
        return document[movieName]
    }
}

function changeCat(theCat) {
//    alert(theCat);
}