change WSRec.html