function indexInit(){
ntf_init();
file_list_refresh();
}
function file_list_refresh(){
var d=new Date();
$.get("../doc/coopfilelist.php",
{
t:d.getTime()
},
function(data,status){
try{
let file_list = JSON.parse(data);
let html="";
for(x in file_list){
html += '