document.write ('1252');