helm/on-line/html/library/index.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
   2 "http://www.w3.org/TR/REC-html40/loose.dtd">
   3 <html>
   4 <head>
   5  <script language="JavaScript" src="../../javascript/defaults.js"></script>
   6  <script language="JavaScript" src="../../javascript/utils.js"></script>
   7  <title>Index</script></title>
   8 </head>
   9 <script>
  10   document.write('<frameset rows="18%,*" border="0" scrolling="no">');
  11   document.write('<frame src="control.html' +
  12         '?topurl=' + location.protocol + "//" + location.host + location.pathname +
  13         '&mode=' + getParam('mode') +
  14         '&cicuri=' + getParam('cicuri') +
  15         '&theoryuri=' + getParam('theoryuri') +
  16         '&processorURL=' + getParam('processorURL') +
  17         '&getterURL=' + getParam('getterURL') +
  18         '" name="control"/>');
  19   document.write('<frameset cols="50%,50%" border="0" scrolling="no">');
  20   document.write('<frameset rows="11%,*" border="0" scrolling="no">');
  21   document.write('<frame src="' +
  22         getParam('processorURL') + 'apply' +
  23         '?keys=GP' +
  24         '&xmluri=' + location.protocol + "//" + location.host + chopSlash(location.pathname) + "/header.html" +
  25         '&param.uri=' + getParam('theoryuri') +
  26         '" name="theoryheader"/>');
  27   document.write('<frame src="' +
  28         getParam('processorURL') + 'apply' +
  29         '?keys=L2H' +
  30         '&xmluri=' + escape(getParam('getterURL') + 'ls?format=xml&baseuri=' + getParam('theoryuri')) +
  31         '&param.keys=L2H' +
  32         '&param.uri=' + getParam('theoryuri') +
  33         '&param.getterURL=' + getParam('getterURL') +
  34         '&param.target=theory' +
  35         '&param.interfaceURL=' + location.protocol + "//" + location.host + chopSlash(chopSlash(chopSlash(location.pathname))) +
  36         '" name="theoryresult"/>');
  37   document.write('</frameset>');
  38   document.write('<frameset rows="11%,*" border="0" scrolling="no">');
  39   document.write('<frame src="' +
  40         getParam('processorURL') + 'apply' +
  41         '?keys=GP' +
  42         '&xmluri=' + location.protocol + "//" + location.host + chopSlash(location.pathname) + "/header.html" +
  43         '&param.uri=' + getParam('cicuri') +
  44         '" name="cicheader"/>');
  45   document.write('<frame src="' +
  46         getParam('processorURL') + 'apply' +
  47         '?keys=L2H' +
  48         '&xmluri=' + escape(getParam('getterURL') + 'ls?format=xml&baseuri=' + getParam('cicuri')) +
  49         '&param.keys=L2H' +
  50         '&param.uri=' + getParam('cicuri') +
  51         '&param.getterURL=' + getParam('getterURL') +
  52         '&param.target=cic' +
  53         '&param.interfaceURL=' + location.protocol + "//" + location.host + chopSlash(chopSlash(chopSlash(location.pathname))) +
  54         '" name="cicresult"/>');
  55   document.write('</frameset>');
  56   document.write('</frameset>');
  57   document.write('</frameset>');
  58 </script>
  59
  60 </html>