#include <stdio.h>

int main( void )
{
    if(putchar(59)){}
}
