document.write ('8800');