ws.introsde -> ws.document.introsde