printBugNumber (bug); 
printBugNumber(BUGNUMBER); 
function test(){  enterFunc ('test');  printBugNumber (bug);  printStatus (summary);    var f = function()     {       switch(a)       {         case 0/0: a;         case 1/0: b;         case -1/0: c;         case -0:        d;       }     };  expect = 'function ( ) { switch ( a ) { case 0 / 0 : a ; case 1 / 0 : b ; ' +    'case 1 / - 0 : c ; case - 0 : d ; default : ; } } ';  actual = f + '';  compareSource(expect, actual, summary);  exitFunc ('test');}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-375882.js/clean/js/tests/js1_5/decompilation/regress-375882.js