ROYAL DUTCH PETROLEUM COMPANY, US7802578044 ROYAL DUTCH PETROLEUM COMPANY 23.12.2011 - 15:21:04 ROYAL DUTCH PETROLEUM COMPANY. ISIN: US7802578044 WKN: 851511