document.write('123');}[