function nph_open_window(url, name, feature)
{
    window.open(url, name, feature);
}

function prmenu(){
document.getElementById("prmenu").style.display = 'block';
}
function prmenu_p(){
document.getElementById("prmenu").style.display = 'none';
}