document.write ('8212');