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