<?switch(fgets(STDIN)){case '0123456789':$a=' /\\\x0d \\/\\\x0d /\\ \x0d \\/\\\x0d /\\ \\/\x0d \\\x0d / \x0d \\/\\\x0d / \\/\x0d \\/\\\x0d \\ /\x0d \\/\\\x0d /\\ \x0d /\\\x0d /\\ /\x0d / \x0d \\ \\/\x0d \\\x0d /\\ \x0d \\ \\\x0d \\/';break;case 1234321987:$a=' /\\\x0d \\\x0d /\\ \x0d \\/\\\x0d /\\ \\/\x0d \\/\\\x0d \\ \x0d \\\x0d /\\ \x0d / \x0d /\\ \\/\x0d /\\\x0d \\ /\x0d \\/\\\x0d /\\ \x0d /\\\x0d /\\ /\x0d / \x0d \\ \\/\x0d \\';break;case 2781357717:$a=' /\\x0d \\x0d \ \x0d \\x0d /\ \x0d \\x0d /\ \x0d \\x0d / \x0d \/\\x0d /\ /\x0d /\\x0d \ /\x0d \\x0d /\ \x0d \/\\x0d /\ \/\x0d \\x0d /\ \x0d / \x0d \/';}echo$a;
Note that non-ascii characters in the above source code will be escaped (such as \x9f).