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