// JavaScript Document
function IncludeJavaScript(jsFile)
{
 document.write("<script type='text/javascript' src='js/pra/"+jsFile+"'></script>"); 
}