document.write ('1058');