Apologies, that was an error on my part.
The surrounding text referred to restarting an interval timer, and I had intended to refer to the ID of that interval timer, by calling it ‘interval_timer_ID’ but that obviously isn’t what I wrote.
I’ve fixed it now, so it reads correctly.
Thanks for pointing it out, and congratulations on not falling asleep before you reached that point! 
Pete.