/**  
 * @fileoverview This file contains functions for the library panel.
 * @author Mark Hendrickson <mhendric@bowdoin.edu>
 * @version 1.0
 */

/**
 * Loads library index chosen in pulldown menu.
 * Note: Function taken from library homepage.
 */
function MM_jumpMenu(targ,selObj,restore)
{
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if(restore) 
	  selObj.selectedIndex=0;
}