document.write (" 6707 ");