document.write (" 6747 ");