Thanks.
I see that the top pixel of Application Working Area is
top_int = display.contentCenterY - display.actualContentHeight/2+display.topStatusBarContentHeight
But how do I find the Y coordinate of the top pixel of Navigation Bar if it is present?