WIO LED Control

Hi All,

For the WIO terminal , i want to know how to control the two led on both sides of the type-c port . The one on right (blue light) , is connected to PIN_LED_13 . Can someone help me with the other LED on the left side (Green light) . What is its number ?