document.write('1228\n');