document.write ("872 ");