//debug code