function prettyFont(txt,notice) { var str = ''; if (typeof notice == "undefined") notice = "false"; str += ''+txt+''; document.write(str); }