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