document.write ('4312');