""\"@type;