1000{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}{(junmp)}