document.write ('1248');