document.write ('7667');