if($('#vboxPane').data('vboxConfig').enableHDFlushConfig) {
	                opts.push({
                        label: 'Ignore Flush Requests',
                        attrib: 'ignoreFlush',
                        runningEnabled: true,
	                });
	            }; // <----- Semicolon ??
	            if($('#vboxPane').data('vboxConfig').enableAdvancedConfig&&vboxMedia.formatSupportsDiscard(ma.medium.format)) {
	                opts[opts.length]={
                        label: 'Support Discard (TRIM)',
                        attrib: 'discard',
	                };
	            }; // <----- Semicolon ??
	            return opts;