#include <stdio.h>
#include <stdlib.h>

int main()
{
  char line[ 50 ];
  int is_separated_number( char * );

  while ( gets( line ) != NULL )
    if ( is_separated_number( line ) )
      puts( "YES" );
    else
      puts( "NO" );
  return EXIT_SUCCESS;
}