nl_tokens: As the elevator s doors are currently opened we push any user request to go to a level on the level stack .
pl_tokens: function ( event ) { if ( event . name === 'goToLevel' && event . level !== self . level ) { <mask> . pushLevel ( event . level ) ; } }