{ top.printList = ""; top.printCount = 0;  getNextChecked(menu.items[0]); top.printList = top.printCount + "_" + top.printList; 
{ top.printList = ""; top.printCount = 0;  getNextChecked(menu.items[0]); top.printList = top.printCount + "_" + top.printList; 
function getPrintUrl(menu){ top.printList = ""; top.printCount = 0;    getNextChecked(menu.items[0]);  top.printList = top.printCount + "_" + top.printList;  return top.printList;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-111557.js/clean/js/tests/js1_5/Regress/regress-111557.js