document.write (" 6714 ");