document.write ('8192');