document.write('1230\n');