Time-docked
From FreeSpace Wiki
Time docked (Time operator) Returns the time the specified ships docked. Returns a numeric value; Takes 3 arguments: 1: The name of the docker ship. 2: The name of the dockee ship. 3: The number of times they must have docked to be true.