document.write('4681\n');