#!/usr/bin/env js

function readline() {
    var ist = new java.io.InputStreamReader(java.lang.System.in);
    var bre = new java.io.BufferedReader(ist);
    var line = bre.readLine();
    return line;
}
var numbers = [];

while (true) {
    var line = readline();
    if (line === null) {
        break;
    }

    var number = parseFloat(line);
    if (!isNaN(number)) {
        numbers.push(number.toString()); 
    }
}
var jsonOutput = JSON.stringify(numbers);
print(jsonOutput);