var ws_output;
ws_output = "";
document.write(ws_output);