disk_index = [ { "filename": "json/disks/dos33master.json", "name": "DOS 3.3 Master", "category": "System" } ];