document.write (" 6724 ");