alert("Loading ws4.js");