("); # Calculate time echo calc_time($pos); echo " / "; echo calc_time($time); echo(")"); ?>