document.write('2256\n');