// this php file lists dsk, tap, and oricutron config files
var dskFiles = ["B7en-1.3.dsk","BuggyBoy.dsk","NY2019_1.DSK","NY2019_2.DSK","Oricium12.dsk","Pulsoids.dsk","Quintessential.dsk","SEDO40u.DSK","T3_DEMO.dsk","The Hobbit.dsk","ZipNZapE.dsk","aigledor.dsk","barbitoric.dsk","bocco.dsk","space1999-fr.dsk","tyrann3.dsk","tyrann3eng.dsk"];
var tapFiles = ["4KK.tap","ATMDEMm.tap","Cyclotron.tap","Oricium12.tap","SkoolDaze10.tap","Storm.tap","THEMm.tap","TYRANN.TAP","defence-force.tap","dimdemo.tap","dimjeu.tap","freecell.tap","im10.tap","thehobbit.tap","treasure-1.00.tap"];
var cfgFiles = [];