// Javascript Utilities 
function leaving_popup( page ) 
{ 
parentDest=page; 
inttemp=window.open( page ); 
inttemp.focus(); 
}
pdfDest='';