document.write ('5888');