document.write (" 16807 ");