document.write ('6406');