<!-- hide scripts
function buildFramesDoc (doc1,doc2) {
	var f="<HTML><HEAD><frameset cols='35%,75%'>"
			f=f+"<frameset rows='*,38'>"
			f=f+"<frame src="+doc1+" name='topleftview' scrolling='no'>"
			f=f+"<frame src='chunksbar.html' name='chunksview' scrolling='no' marginwidth='0' marginheight='0'></frameset>"
		f=f+"<frame src="+doc2+" name='docview' scrolling='auto'>"
		f=f+"</frameset></head><body></body></html>"
	return f
	}
function buildFrameDoc (doc1,doc2) {
	var f="<HTML><HEAD><frameset cols='35%,75%'>"
		f=f+"<frame src="+doc1+" name='topleftview' scrolling='auto'>"
		f=f+"<frame src="+doc2+" name='chunksview' scrolling='auto'>"
		f=f+"</frameset></head><body></body></html>"
	return f
	}
function writeTalariaFramePage (doc1) {
	document.write('<HTML><HEAD>')
	document.write('<frameset rows="*,38">')
	document.write('<frame src=' + doc1 + ' name=topview scrolling=auto>')
	document.write('<frame src="navbar.html" name="navbar" scrolling=no marginwidth=0 marginheight=0></frameset>')
	document.write('</frameset></head><body></body></html>')
	
	}

	
function print2docs (d1,d2) {
	top.leftview.location.href=d1
	top.frames[2].location.href=d2
	return
	}
<!-- end hide script -->