A Handy Guide for Conversion of Internet Time to RLTime