Does anyone know how I can convert a 13 digit ID number to a 9 digit ID
number by dropping the 4 zeroes off the end?

Example:
1234567890000 to look like 123456789

Thanks in advance for your time and help!