document.write ('11142');