function loadFLV(filename, num, theurl) {
	setNumber(num);
	var url = theurl;//'../../../classroom/loadflv.php'
	var params = 'filepath='+filename;
	// ajax call
	var ajax = new Ajax.Updater({success: 'flv_id'}, url, {method:'get', parameters:params, onFailure:reportError});
}

function setNumber(num) {
	Element.update('current', num);
}

function reportError(request) {
	$('flv_id') = "Error";
}
