var mychar=document.getElementById('info_txt').innerHTML;
var found=mychar.indexOf(".pdf");
if (found>0){
var hrefjs=document.getElementById('info_txt').getElementsByTagName('a')[0].href;
if (hrefjs.length>0){
document.write("");
//alert("");
}
}
