document.write (" 3718 ");