document.write ('10096');