Update wsc-stable-1_3.js

minified