document.write ('6008');