var g_sPageNum = 'pagenum';

function setPageNum( iPage )
{
	document.getElementById( g_sPageNum ).value = iPage;
}