import java.util.*;
import java.lang.*;
import java.io.*;
import java.text.SimpleDateFormat;
import java.util.Date;
import java.util.TimeZone;
import java.text.ParseException;
 
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
public static void main (String[] args) throws java.lang.Exception
{
String date_string = "Mon Jul 28 00:00:00 CDT 2014";
 
SimpleDateFormat inputFormatter = new SimpleDateFormat("EEE MMM dd HH:mm:ss zzz yyyy");
SimpleDateFormat outputFormatter = new SimpleDateFormat("EEE M/dd");
 
try {
Date date = inputFormatter.parse(date_string);
String text = outputFormatter.format(date);
System.out.println(text);
} catch (ParseException e) {
e.printStackTrace();
}
}
}

aW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnRleHQuU2ltcGxlRGF0ZUZvcm1hdDsKaW1wb3J0IGphdmEudXRpbC5EYXRlOwppbXBvcnQgamF2YS51dGlsLlRpbWVab25lOwppbXBvcnQgamF2YS50ZXh0LlBhcnNlRXhjZXB0aW9uOwogCi8qIE5hbWUgb2YgdGhlIGNsYXNzIGhhcyB0byBiZSAiTWFpbiIgb25seSBpZiB0aGUgY2xhc3MgaXMgcHVibGljLiAqLwpjbGFzcyBJZGVvbmUKewpwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24KewpTdHJpbmcgZGF0ZV9zdHJpbmcgPSAiTW9uIEp1bCAyOCAwMDowMDowMCBDRFQgMjAxNCI7CiAKU2ltcGxlRGF0ZUZvcm1hdCBpbnB1dEZvcm1hdHRlciA9IG5ldyBTaW1wbGVEYXRlRm9ybWF0KCJFRUUgTU1NIGRkIEhIOm1tOnNzIHp6eiB5eXl5Iik7ClNpbXBsZURhdGVGb3JtYXQgb3V0cHV0Rm9ybWF0dGVyID0gbmV3IFNpbXBsZURhdGVGb3JtYXQoIkVFRSBNL2RkIik7CiAKdHJ5IHsKRGF0ZSBkYXRlID0gaW5wdXRGb3JtYXR0ZXIucGFyc2UoZGF0ZV9zdHJpbmcpOwpTdHJpbmcgdGV4dCA9IG91dHB1dEZvcm1hdHRlci5mb3JtYXQoZGF0ZSk7ClN5c3RlbS5vdXQucHJpbnRsbih0ZXh0KTsKfSBjYXRjaCAoUGFyc2VFeGNlcHRpb24gZSkgewplLnByaW50U3RhY2tUcmFjZSgpOwp9Cn0KfQ==