// 
// :"",,
// 
#include 
#include 
#include 
#include  // sleep(3);

std::ifstream fin("data.in");
std::ofstream fout("data.out");

#define MAX 1024*1024
// ,,O(nlgn)
void shellSort(int array[], int num)
{
	int i, j, gap;
	for(gap = num/2; gap > 0; gap /= 2) // ()
	{
		for(i=0; i temp)
					{
						array[k+gap] = array[k];
						k -= gap;
					}
					array[k+gap] = temp;
				}
			}
		}
	}
}

long getCurrentTime()    
{    
   struct timeval tv;    
   gettimeofday(&tv,NULL);    
   return tv.tv_sec * 1000 + tv.tv_usec / 1000;    
} 

int main()
{
	int array[MAX];
	int num = 0;
	while(fin >> array[num])
		++num;
		
	long start = getCurrentTime();
	std::cout