document.write ('31142');