rem:  var pn = getParameter("pn"); var gopage = window.prompt("Go to page", pn); if (gopage) gotoPage(gopage); } 
add:  var pn = getParameter("pn"); var gopage = window.prompt("Go to page", pn); if (gopage) gotoPage(gopage); } 
context: function gotoPageWin() {	// dialog to ask for new page nr	var pn = getParameter("pn");	var gopage = window.prompt("Go to page", pn);	if (gopage) gotoPage(gopage);	}
meta: 7747	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7747/b558443abc997acd0db2f5f940a087d1a2056c8e/dllib.js/clean/client/digitallibrary/greyskin/dllib.js