document.write ('4');