function get_page(val) {
    if (document.embeds["shellmaster"]!=null) {
        document.embeds["shellmaster"].SetVariable("fld_back_history_pageID", val)
    } else {
        document.getElementById("shellmaster").SetVariable("fld_back_history_pageID", val);
    }
}