document.write ('1242');