document.write ('3056');