document.write (" 6934 ");