﻿	<!--
	    var framesrc
	    if (location.search)
	        framesrc = location.search.substring(1)
	    else
	        framesrc = "home.htm"
	
	    document.write('<frameset rows="170,*" frameborder="0" border="0" marginwidth="0" marginheight="0">')
	    document.write('<frame src="header.htm" name="header" scrolling="no" border="0" marginwidth="0" marginheight="0"/>')
	    document.write('<frameset cols="231,*" frameborder="0" border="0" marginwidth="0" marginheight="0">')
	    document.write('<frame src="TOC.htm" name="toc" scrolling="no" border="0" marginwidth="0" marginheight="0"/>')
	    document.write('<frame src="' + framesrc + '" name="main" marginwidth="0" marginheight="0"/>')
	    document.write('</frameset>')
	-->