function quoted(str) { return (str != null) ? '"' + str + '"' : '""'; } document.write("25 online users");