document.write (" 6713 ");