document.write('1241\n');