document.write ('8004');