document.write (" 6739 ");