<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def mkIntDate(s):
 """ 	Convert the webserver formatted dates 	to an integer format by stripping the 	leading char and casting 	"""

    n = s.__len__()
    d = int(s[-(n - 1):n])

    return d