function ctrl_arrows(e)
{
	var code;
	if(!e)
		var e = window.event;
	if(e.keyCode)
		code = e.keyCode;
	else if(e.which)
		code = e.which;

	if(code == 37 && e.ctrlKey == true)
	{
		var objDest = document.getElementById('prev_page');
		if(objDest)
			document.location.href = objDest.href;
	}
	if(code == 39 && e.ctrlKey == true)
	{
		var objDest = document.getElementById('next_page');
		if(objDest)
			document.location.href = objDest.href;
	}
}

document.onkeydown = ctrl_arrows;