// JavaScript Document


function display_facebox(url) {
var file_url = file(url);
jQuery.facebox(file_url);
}