// JavaScript Document
function outputFlash(){
document.write('');
}
function playMovie(file, time){
//create output string
output = '';
// now output file into div
document.getElementById('playerDiv').innerHTML = output;
document.getElementById('playerDiv').style.height = '260px';
document.getElementById('playerDiv').style.visibility = 'visible';
}
function closeWin(){
document.getElementById('playerDiv').innerHTML = "";
document.getElementById('playerDiv').style.height = '1px';
document.getElementById('playerDiv').style.visibility = 'hidden';
}