// time = 423.631