add: init();  showTotalPages(); 
context: function init_pagesTotal(pu, pn, ws, mo, mk, wx, wy, ww, wh, pt) {	// debug window to check the parameters passed	//alert ("DEBUG message (parameters in init pagesTotal.js):\n\npu = " + pu + "\npn = " + pn + "\nws = " + ws + "\nmo = " + mo + "\nmk = " + mk + "\nwx = " + wx + "\nwy = " + wy + "\nww = " + ww + "\nwh = " + wh + "\npt = " + pt);	// calling original init	init(pu, pn, ws, mo, mk, wx, wy, ww, wh);	att.pt = parseInt(pt);		pagesTotal();	focus();}
meta: 7747	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7747/6647ba133248cf61073719823eeb5c62a8aa0eaa/pagesTotal.js/buggy/client/digitallibrary/modules/pagesTotal.js