gravingdock ['greiviŋdɔk] n ремо'нтный док (сухой или плавучий)