int NOTATION_NODE = 12