Symbol: xip_currtime