/**
 * $Id: pagination.js 4114 2010-01-20 17:06:20Z vincent $
 **/

/**
 * 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;
}