Some debuging facility added to js code