function jump(x) { 
   var url = x.options[x.selectedIndex].value;
   var slashregex = new RegExp("^/");
   var regex = new RegExp("^http");
         
  if (!regex.test(url)){
    if (slashregex.test(url)){
      url = 'http://store.doverpublications.com/' + url; 
    }else{
      url = 'http://store.doverpublications.com/' + url; 
    }
   }
   window.location.href = url;
}


var NewWindow = null;
        
function ImageWindow(WinPic,WinParam) {
  if (NewWindow) {
    NewWindow.close();
  }

  NewWindow=window.open("","NewOne",WinParam);
  NewWindow.document.write ("<HTML><HEAD><TITLE>");
  NewWindow.document.write ("Image Zoom");
  NewWindow.document.write ("</TITLE></HEAD>");
  NewWindow.document.write ("<body border=0 TOPMARGIN=0 LEFTMARGIN=0 MARGINWIDTH=0 MARGINHEIGHT=0  BGCOLOR=#c8c8c8 TEXT='#000000' LINK=#0000cc VLINK=#663399>");
  NewWindow.document.write ("<TABLE border=0 cellpadding=0 width='100%'><tr bgcolor='#ffffff'><td bgcolor='#ffffff'>");
  NewWindow.document.write ("<P ALIGN=CENTER>");
  NewWindow.document.write ("<A HREF='JavaScript:this.close()'><IMG BORDER=0 HSPACE=0 VSPACE=0 SRC='");
  NewWindow.document.write (WinPic);
  NewWindow.document.write ("'></A>");
  NewWindow.document.write ("</P>");
  NewWindow.document.write ("</td></tr><tr><td bgcolor=#ffffff>");
  NewWindow.document.write ("<P ALIGN=CENTER>");
  NewWindow.document.write ("<B><FONT SIZE='2' COLOR=#000000 face=arial>");
  NewWindow.document.write ("Click the image to close this window");
  NewWindow.document.write ("<br><img src='http://store.yahoo.com/lib/doverpublications/doverlogo.gif' align=center></FONT></P><br><br><br>");
  NewWindow.document.write ("</td></tr></table>");
  NewWindow.document.write ("</BODY></HTML>");

  NewWindow.document.close();
  return false;
  }

function aolwin(aolurl){
 if (navigator.appVersion.indexOf('AOL') != -1){

  window.location=aolurl;

  }
}
        ExpWindow = null;
  function ExportWindow(Url,WinParam)
  {
 
         if (ExpWindow) {
    ExpWindow.close();
 
          }
 
    ExpWindow=window.open(Url,"Exp",WinParam);
 
    return false;
  }


