def getSectionNumber(header):
 if (not header):
  return None
 return domhelpers.gatherTextNodes(header.childNodes[0])

def getSectionNumber ( header ) : if ( not header ) : return None return domhelpers . gatherTextNodes ( header . childNodes [ 0 ] )
retrieve the section number of the given node .