document.write('1255\n');