muhang='10717';
document.write(muhang);