class Flawiusz
{
public static void main
(String[] args
) {
boolean[] deleted = new boolean[1000];
int howManyDeleted = 0;
int index = 0;
int counter = 0;
while (howManyDeleted < 990)
{
while(counter < 7)
{
if(!deleted[index])
{
counter++;
}
if(counter == 7)
{
deleted[index] = true;
counter = 0;
howManyDeleted++;
break;
}
index = (index + 1)%1000;
}
}
for(int i=0;i<1000;i++)
{
if(!deleted[i])
{
}
}
}
}
Y2xhc3MgRmxhd2l1c3oKewogICAgcHVibGljIHN0YXRpYyB2b2lkIG1haW4oU3RyaW5nW10gYXJncykKICAgIHsKICAgICAgICBib29sZWFuW10gZGVsZXRlZCA9IG5ldyBib29sZWFuWzEwMDBdOwogICAgICAgIGludCBob3dNYW55RGVsZXRlZCA9IDA7CiAgICAgICAgaW50IGluZGV4ID0gMDsKICAgICAgICBpbnQgY291bnRlciA9IDA7CiAgICAgICAgd2hpbGUgKGhvd01hbnlEZWxldGVkIDwgOTkwKQogICAgICAgIHsKICAgICAgICAgICAgd2hpbGUoY291bnRlciA8IDcpCiAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgIGlmKCFkZWxldGVkW2luZGV4XSkKICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICBjb3VudGVyKys7CiAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICBpZihjb3VudGVyID09IDcpCiAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgZGVsZXRlZFtpbmRleF0gPSB0cnVlOyAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICBjb3VudGVyID0gMDsKICAgICAgICAgICAgICAgICAgICBob3dNYW55RGVsZXRlZCsrOwogICAgICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgaW5kZXggPSAoaW5kZXggKyAxKSUxMDAwOwogICAgICAgICAgICB9ICAgICAgICAgICAgCiAgICAgICAgfQogICAgICAgIGZvcihpbnQgaT0wO2k8MTAwMDtpKyspCiAgICAgICAgewogICAgICAgICAgICBpZighZGVsZXRlZFtpXSkKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgU3lzdGVtLm91dC5wcmludCgoaSsxKSsiICIpOwogICAgICAgICAgICB9CiAgICAgICAgfQogICAgfQp9