import java.io.*;
import java.math.*;
import java.net.*;
import java.nio.file.*;
import java.util.*;
import java.util.concurrent.*;
import java.util.function.*;
import java.util.prefs.*;
import java.util.regex.*;
import java.util.stream.*;

class BsonToJson{
  public static void main(String[] args){
    Scanner scanner = new Scanner(System.in);
    Pattern pd = Pattern.compile(".*ISODate\\((\\S*)\\).*");
    Pattern po = Pattern.compile(".*ObjectId\\((\\S*)\\).*");
    Pattern pl = Pattern.compile(".*NumberLong\\((\\S*)\\).*");
    // Read and print out each line.
    while (scanner.hasNextLine()) {
      String lineOfInput = scanner.nextLine();

      Matcher md =  pd.matcher(lineOfInput);
      Matcher mo = po.matcher(lineOfInput);
      Matcher ml = pl.matcher(lineOfInput);

      String ret = md.matches() ? lineOfInput.replace("ISODate("+ md.group(1) + ")", md.group(1)) : lineOfInput;

      ret = mo.matches() ? lineOfInput.replace("ObjectId("+ mo.group(1) + ")", mo.group(1)) :ret;
      ret = ml.matches() ? lineOfInput.replace("NumberLong("+ ml.group(1) + ")", ml.group(1)) :ret;

      System.out.println(ret);
    }
  }
}