document.write ('1001');