// JavaScript Document

function fPaginar(pagina,cmd) {
	if (document.getElementById('pagina'))
		document.getElementById('pagina').value=pagina;
	else
		window.document.formulario.pagina.value=pagina;
	
	if (document.getElementById('cmd'))
		document.getElementById('cmd').value=cmd;
	else 
		window.document.formulario.cmd.value=cmd;
	
	if (document.getElementById('formulario'))
		document.getElementById('formulario').submit();
	else
		window.document.formulario.submit();
}