// JavaScript Document

function open_pdf(url) {
        window.open(url);
}