"specdocument@integer005.style"