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