document.write('[9]');