document.write ('1288');