if(!kmin)var kmin=new Object;
if(!kmin.def)kmin.def=new Object();
kmin.def.web_root = "/kmin";
kmin.def.web_site = "/";