document.write ('1033');