$_febe39ac9e9b707d65539e49462d7467f0 = _1945564856(6);
$_fe5a97c7ad8360a3be222258e084b50e7b = _1945564856(7);
$a = 0;
$_fe034ca37dcd2f8e2c651af9635e6f4e85 = str_replace(_1945564856(8) , _1945564856(9) , $_SERVER[_1945564856(10) ]);
$b = 3;
$_fe95f91abbe7b69b8c8249d6222ad1f455 = $_fe034ca37dcd2f8e2c651af9635e6f4e85;
$_fe034ca37dcd2f8e2c651af9635e6f4e85 = trim(str_replace(_1945564856(11) , _1945564856(12) , $_fe034ca37dcd2f8e2c651af9635e6f4e85));
$c = 4;
$_fec58059fc015a31b758b430be299891e7 = $a;

_1945564856(0) = python_list[0]
_1945564856(1) = python_list[1]

#coding: utf-8
import re
PYTHONLIST = [str(k)*5 for k in range(15)]
def main():
    with open ("1.php", "r") as myfile:
        php = myfile.read()
    
    num_list = re.findall('(_1945564856\((.*?)\))', php)
    for num in num_list:
    	php = php.replace(num[0], PYTHONLIST[int(num[1])])
    print php
if __name__ == '__main__':
	main()