document.write ('6040');