var current = 1;
var seconds = 0;
var needsSeeking = false;

function trimNumber(s) { return s.replace(/^0+/, ''); }

function calcSeconds(time) {
	var re = /(\d{1,2}):(\d{1,2}):(\d{1,2})/;
	var time_split = time.match(re);

	var h = trimNumber(time_split[1]);
	var m = trimNumber(time_split[2]);
	var s = trimNumber(time_split[3]);

	seconds = parseInt( (h * 3600) ) + parseInt( ( m * 60 ) ) + parseInt(s);
}

function jumpTo(time) {
	calcSeconds(time);
	needsSeeking = true;
	$f().seek(seconds);
	
}

function playIndex(dvd, time) {
	var i = dvd - 1;
	if ( dvd != current ) {
		current = dvd;
		$f().play(parseInt(i));
	} else {
		jumpTo(time);
	}
}

function seekAfterStart() {
	if ( needsSeeking ) {
		setTimeout(	$f().seek(seconds), 2000 );
	}
	needsSeeking = false;
}