document.write ('8008');