document.write (" 6777 ");