function jump_listpage(aUrl){
    var mainform = document.infoForm;
    mainform.action = aUrl;
    mainform.submit();
}

function jump_detail(infoNo){
    var obj = document.getElementById("infoNo");
    var obj1 = document.getElementById("actionName");

    obj1.value = "DETAIL";
    obj.value = infoNo;
    document.infoForm.submit();
}

function jump_otherpage( aPageNum, aIndex ) {
	var obj = document.getElementById( "pageNumber" );
	var obj1 = document.getElementById( "actionName" );
	
    obj1.value = "LIST";
	obj.value = aPageNum - 1;
	document.infoForm.submit();
}