( function(i) {
    token = i.split( " " );
    val = parseInt( token[0] );
    if ( val < 0) { return 65536+val + " " + token[1]; } else { return i; }
 } ) (input)