/* document_library.js */

function initDownload(file_path)
{
  document.write('<iframe height="0" width="0" src="' + file_path + '"></iframe>');
}