/**
 * $Id: pagination.js 3396 2009-11-13 10:50:22Z jean-luc $
 **/

/**
 * Pagination functions
 */

// JS Code for "go to given page" input onchange
function goToPage(pageNumber, url) {
	if (isNaN(pageNumber)) {
		alert(error_invalidParameters);
		return;
	}
	url = url.replace(/\{\$page\}/gi, pageNumber);
	document.location = url;
}