f= "web_ide.lc"   if file.exists(f) then dofile(f) else dofile(string.gsub(f, ".lc", ".lua")) end



--[[
f= "web_ide.lua"   if file.exists(f) then dofile(f) end





f= "web_ide.lc"   if file.exists(f) then dofile(f) end
]]