document.write ('3142');