how old is doc ock