document.write ('5212');