document.write ('1218');