document.write ('6999');