//
function IncludeJSFile(astrFile)
{
    window.document.write('<script type=\"text/javascript\" src=\"js/' + astrFile + '"></script>') ;
}
//
//
function IncludeJSFile_(astrFile)
{
　　var script = document.createElement('script') ;
//
　　script.src = astrFile ;
　　script.type = 'text/javascript' ;
　　script.defer = true ;
　　document.getElementsByTagName('head').item(0).appendChild(script);
}