if (km === '0:0:0:0:0:8' || 
const empty_re = /:0:0$/; if (empty_re.test(km)    || km === '0:0:0:0:0:8' || 
function pref_grab(disp, e) {    e.preventDefault();    var km  = ItsAllText.marshalKeyEvent(e);    if (km === '0:0:0:0:0:8' ||   // Backspace        km === '0:0:0:0:0:27' ||  // Escape        km === '0:0:0:0:0:46') {  // Del        km = '';    }    ItsAllText.preferences.private_set('hotkey', km);    update_hotkey(disp);}
4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4463/f7d0146daa3ca173ee76bcee8fef184adcc00bfd/preferences.js/buggy/src/chrome/content/preferences.js