document.write ('6023');