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