function to_line_break(tag, value) {
    value = html_escape(value);
    value = value.replace("\r\n", "\n");
    var lines = value.split("\n").join('<br>');
    tag.html(lines);
}
function html_escape(str) {
    str = str.replace(/&/g, "&amp;");
    str = str.replace(/"/g, "&quot;");
    str = str.replace(/'/g, "&quot;");
    str = str.replace(/>/g, "&gt;");
    str = str.replace(/</g, "&lt;");
    return str
}
function setBodyBackgroundColor() {
    var ua = $.browser;
    if (ua.msie && ua.version == 7) {
        if (navigator.userAgent.indexOf('Windows NT 6.0') > 0) {
            $(document.body).css('background-color', '#f8fcfe'); // f0f8ff
        }
    }   
}