document.write('3256\n');