static: echo "1234"
import sets
static: echo "3456"