#include<stdio.h>

main()
{
printf("%d\n",~11);
/* なぜちゃんと出力されないんでしょうか？ */
}