document.write ("12687 ");