NodeNumber[node->NODE, basis->EFBASIS] =: INTEGER
NodeNumber returns the number assigned to node in the basis basis.
Basis.