convert( scanf( "%d %d" ), '`+`' );
23 34
                                   57