var WS_PAGE_PREFIX = 'ws_';