okay = true; function format_text(string) { return '' + string; }