#include <iostream>
#include <algorithm>
#include <vector>
#include <ctime>
using namespace std;
int main()
{
srand ( unsigned ( time (NULL) ) );
vector<int> myvector;
vector<int>::iterator it;
for (int i=1;i<=13;i++)
{
myvector.push_back(i);
}
random_shuffle ( myvector.begin(), myvector.end() );
for (it=myvector.begin();it!=myvector.end();++it)
{
cout<<" "<<*it;
}
}