function popUpHTMLpro(){
popup = window.open("javascripts/htmlpro.htm","","height=560,width=390,scrollbars=no");
}

function popUpLinkSpider(){
popup = window.open("sources/link-spider.htm","","height=850,width=815,scrollbars=yes");
}