context: function gotoPage(gopage, keep) {	// goto given page nr (+/-: relative)	var oldpn = parseInt(getParameter("pn"));	setParameter("pn", gopage, true);	var pn = parseInt(getParameter("pn"));	if (pn < 1) {		alert("No such page! (Page number too low)");		setParameter("pn", oldpn);		return;	}	if (hasParameter("pt")) {		pt = parseInt(getParameter("pt"))		if (pn > pt) {			alert("No such page! (Page number too high)");			setParameter("pn", oldpn);			return;		}	}	if (keep) {		display(15+32); // all, no mark	} else {			display(3+32); // fn, pn, ws, mo + pt	}}
meta: 7747	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7747/49c7655e35e9b02d6d6e346c7428b11922cfe548/dllib.js/clean/client/digitallibrary/dllib.js