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