document.write ('4124');