scode=""
opt="menubar,scrollbars,width=600,height=400,left=100,top=30"
indexname="$INDEXNAME_"
Farray=new Array([]
	$ARRAYLIST_
)

function fixfunc(f){
	var s=f.replace(/</g,"&lt;")
	var r=""
	var sf=""
	for(var i=1;i<Farray.length;i++){
		if(Farray[i][0].length){
			r=new RegExp(Farray[i][1]+"\\(","g")
			sf="target=_nfunc href="+indexname+"_"+Farray[i][0]+".htm#FUNC"+Farray[i][1]
			s=s.replace(r,"<a "+sf+">"+Farray[i][1]+"</a>(")	
		}
	}
	return s
}

function nlines(s){var A=s.split("\n");return A.length+1}

function writefunc(func){
	var sm=""+Math.random()
	sm=sm.substring(3,10)
	var w=open("","DT_"+sm,opt)
	doc=w.document.open()
	doc.writeln("<a href=javascript:close()>Close</a><p><pre>")
	doc.writeln(fixfunc(func.toString()))
	doc.writeln("</pre>")
	doc.close()
}