// JavaScript Document
function rF(string) {
	if(string != undefined) {
		document.write(string.replace(/["]/g, "[']"));
	}
}