// the viewer windows themselves
var astexWindow;

function launchAstex(url) {

  if( astexWindow == null || astexWindow.closed ) {
    astexWindow = window.open( url, "_blank" );
  }
}