document.write (" 6716 ");