function w(str){
	document.write(str);
}
function wArr(arr,str){
	for(var idx=0;idx<arr.length;idx++){
		str=replace(str,"$$"+idx+"$$",htmlCode(arr[idx]));
		str=replace(str,"$"+idx+"$",arr[idx]);
	}
	w(str);
}
function wArr2(arr,str){
	//alert("arr2="+arr.length+":"+arr[0][5]);
	for(var idx=0;idx<arr.length;idx++){
		wArr(arr[idx],str);
	}
}
function htmlCode(str){
	if(str=='') {
	    return "";
	}
	str = replace(str, "\"", "&quot;");
	str = replace(str, " ", "&nbsp;");
	str = replace(str, "<", "&lt;");
	str = replace(str, ">", "&gt;");
	return str;
}