document.write (" 3872 ");