document.write('12608\n');