Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000875320-13-000019-index-headers.html | 2013-04-30 16:24:01 | |
| 0000875320-13-000019-index.html | 2013-04-30 16:24:01 | |
| 0000875320-13-000019.txt | 2013-04-30 16:24:01 | |
| vrtx8-k_04302013.htm | 15904 | 2013-04-30 16:24:01 |
| vrtx8-k_ex991.htm | 283921 | 2013-04-30 16:24:01 |