function write_flash(flash_file, width, height) {
document.write('');
}
function write_gallery(flash_file) {
document.write('');
}
function write_flash_vars(flash_file, width, height, file_name) {
document.write('');
}
function write_videoplayer(file_name, div_id, width, height, play) {
var content;
content = '';
document.getElementById(div_id).innerHTML = content;
}