wang_t;1000;