///////////////////////////////////////////////////////////////////////////////////////////////////////////////
// Page Name : paging_jump.js
// Page Desc : on change jump for select box which is used for paging
// Created By : Avijit Datta
// Date of Creation : 08.01.07
// Modified By : 
// Modification Date : 
///////////////////////////////////////////////////////////////////////////////////////////////////////////////

// JavaScript Document

<!--
function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}
//-->