document.write (" 7667 ");