#include <stdio.h>
int ascii_to_interger( char *string );
void main()
{
char str[50];
int n;
gets( str );
n = ascii_to_interger( str );
if ( n==-1 )
printf("none/n");
else
printf("%d/n",n);
}
int ascii_to_interger( char *string )
{
int n=0,i,j=-1;
for ( i=0; *(string+i)!='/0'; i++)
{
if ( *(string+i)>='0' && *(string+i)<='9')
{
n = n*10+*(string+i)-'0';
j++;
}
}
if ( j==-1 )
return(-1);
else
return(n);
}