document.write ('1243 ' );