document.write ('1005');