/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
import java.util.regex.*;
/* 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
	{//FETCH /Students/School
		String s1 = "FETCH /Students/Mark/School";
		String endPart = s1.substring(s1.indexOf("/", 17));
		System.out.println(s1.substring(0, 15) + endPart);
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnV0aWwucmVnZXguKjsKLyogTmFtZSBvZiB0aGUgY2xhc3MgaGFzIHRvIGJlICJNYWluIiBvbmx5IGlmIHRoZSBjbGFzcyBpcyBwdWJsaWMuICovCmNsYXNzIElkZW9uZQp7CglwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24KCXsvL0ZFVENIIC9TdHVkZW50cy9TY2hvb2wKCQlTdHJpbmcgczEgPSAiRkVUQ0ggL1N0dWRlbnRzL01hcmsvU2Nob29sIjsKCQlTdHJpbmcgZW5kUGFydCA9IHMxLnN1YnN0cmluZyhzMS5pbmRleE9mKCIvIiwgMTcpKTsKCQlTeXN0ZW0ub3V0LnByaW50bG4oczEuc3Vic3RyaW5nKDAsIDE1KSArIGVuZFBhcnQpOwoJfQp9