petroleum 257« c . Socker 107«c